diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-09-04 11:34:28 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-09-04 11:34:28 +0000 |
| commit | 71980ddb77f53b7ba2e79106ba2a2f8bfc780f68 (patch) | |
| tree | 8f457c3ed0f7396e6e6cb71f3a4b720a80a09507 /isar/README | |
| parent | 65efde4829c6cb09fb13920f9fd3b67ec49cb665 (diff) | |
tuned;
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. |