| changeset 52131 | 2c75b0f0ef82 |
| parent 52108 | 9aaf0d0f0ce4 |
| child 55272 | 6e943f644cca |
| 52123:36ed4a2ad173 | 52131:2c75b0f0ef82 |
|---|---|
16 |
16 |
17 |
17 |
18 syntax: regexp |
18 syntax: regexp |
19 |
19 |
20 #cygwin: requires different 'components' and 'settings'--------\ |
20 #cygwin: requires different 'components' and 'settings'--------\ |
21 ^etc/ |
|
22 ^Cygwin-Setup.bat |
21 ^Cygwin-Setup.bat |
23 ^Cygwin-Terminal.bat |
22 ^Cygwin-Terminal.bat |
24 ^Isabelle.exe |
23 ^Isabelle.exe |
25 #cygwin--------------------------------------------------------/ |
24 #cygwin--------------------------------------------------------/ |
26 |
25 |