diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-09-04 11:16:25 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-09-04 11:16:25 +0000 |
| commit | 65efde4829c6cb09fb13920f9fd3b67ec49cb665 (patch) | |
| tree | c89f49253460816c41ff8e3746599798cce31a42 /isar/README | |
| parent | 2c0e4f1e5895f5bbd672a4ac68d42997ee76a75f (diff) | |
no need to adjust the path to bash on the first line (due to /usr/bin/env);
Diffstat (limited to 'isar/README')
| -rw-r--r-- | isar/README | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/README b/isar/README index e86950dc..3cd1e4f9 100644 --- a/isar/README +++ b/isar/README @@ -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 internally to start Isabelle Proof General via the 'Isabelle' shell command. This is the default way to invoke Proof General from the -Isabelle perspective. For `interface' you may need to adjust the path -to bash on the first line. +Isabelle perspective. Check the value of isabelle-prog-name. |