diff options
Diffstat (limited to 'isar/README')
-rw-r--r-- | isar/README | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/README b/isar/README index 3cd1e4f9..89e745bd 100644 --- a/isar/README +++ b/isar/README @@ -23,7 +23,9 @@ 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. +Isabelle perspective; it enables Isabelle to provide a consistent +process and file-system environment, including the all-important +isar-keywords.el file. Check the value of isabelle-prog-name. |