From 160e5099123f2c7d57e8503ea1f79faaf7c877fa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 6 Nov 1998 15:26:13 +0000
Subject: Nasty things no longer happen, can't load Proof General more than
 once

---
 BUGS | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 9dc47716..2bc22046 100644
--- a/BUGS
+++ b/BUGS
@@ -19,9 +19,10 @@ Workaround: Don't type C-g while script management is processing.  If
 you do, use proof-restart-scripting.
 
 * You can't use more than one proof assistant at a time in the same
-Emacs session.  Nasty things happen if proof-assistants enables
-more than one proof assistant and you load files for different
-provers.  Workaround: stick to one prover per Emacs session!
+Emacs session.  Attempting to load Proof General for a second prover
+will fail.  Workaround: stick to one prover per Emacs session, 
+make sure that the proof-assistants variables only enables 
+Proof General for the provers you need.
 
 * Outline-mode does not work in proof script files due to read-only
 restrictions of protected region.  Workaround: none, nevermind.
-- 
cgit v1.2.3