diff options
| author | Makarius Wenzel | 2001-09-04 11:16:25 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-09-04 11:16:25 +0000 |
| commit | 65efde4829c6cb09fb13920f9fd3b67ec49cb665 (patch) | |
| tree | c89f49253460816c41ff8e3746599798cce31a42 /isa | |
| parent | 2c0e4f1e5895f5bbd672a4ac68d42997ee76a75f (diff) | |
no need to adjust the path to bash on the first line (due to /usr/bin/env);
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/README | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -23,8 +23,7 @@ There is no support for proof by pointing yet, and no tags program. The script `interface' and file 'interface-setup.el' are used to start Isabelle Proof General via the 'Isabelle' shell command. These files -were provided by Markus Wenzel. For `interface' you may need to -adjust the path to bash on the first line. +were provided by Markus Wenzel. Check the value of isabelle-prog-name. |