From 65a91332b1517873a11ce6914a699aaa0af4557d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 21 Jun 2002 22:46:29 +0000
Subject: Wrong: mustn't delete isa dir, files shared with isar.

---
 FAQ | 1 -
 1 file changed, 1 deletion(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 473f04c0..a0545ba6 100644
--- a/FAQ
+++ b/FAQ
@@ -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
-- 
cgit v1.2.3