diff options
| -rw-r--r-- | isa/README | 3 | ||||
| -rw-r--r-- | isar/README | 3 |
2 files changed, 2 insertions, 4 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. 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. |