diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-23 16:30:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-23 16:30:39 +0000 |
| commit | a7712f60b4606fb2508c0b45615e7c6b64db7565 (patch) | |
| tree | 0ca9bd6709bb7cd6ae47618e9d2a72ecef9ea77d /INSTALL | |
| parent | a6dc2936ce2d4bfea1d1ab14731cd1147ebbbfa7 (diff) | |
Mention path of bash in interface scripts
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -132,11 +132,15 @@ NB: You may need to change the path to perl at the top of the file. ---------------------------------------------------------------------- -Notes for Isabelle -================== +Notes for Isabelle and Isabelle/Isar +==================================== Check the value of isabelle-prog-name. +If you use the interface wrapper scripts isa/interface or +isar/interface, you may need to change the path to bash +on the first line. + The distribution includes a version of Isamode's theory file mode. Use C-h m to check on the features available. |