diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 22:46:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 22:46:29 +0000 |
| commit | 65a91332b1517873a11ce6914a699aaa0af4557d (patch) | |
| tree | ee9ae15046f4d063742ddc6f61d8155afef8c209 /FAQ | |
| parent | 78ac2e9ae8c6638697b1aeee7f28b6ba800b28c9 (diff) | |
Wrong: mustn't delete isa dir, files shared with isar.
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -49,7 +49,6 @@ A. There are several ways: 2. Set the environment variable PROOFGENERAL_ASSISTANTS=isa before starting Emacs. 3. Put the line (* -*- isa -*- *) at the top of your files. - 4. Disable Isar support by removing PG's isar/ directory. Unfortunately Isabelle/Isar and Isabelle classic are two quite separate Proof General instances. Ideally they should be |