From 5d289dc316d040f01352a4dd9642171a4a4d74dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Sep 1998 14:40:04 +0000
Subject: Fixed message about using several assistants

---
 BUGS | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/BUGS b/BUGS
index fc3e6187..58c6dde1 100644
--- a/BUGS
+++ b/BUGS
@@ -7,8 +7,9 @@ $Id$
 restrictions of protected region
 
 * You can't use more than one proof assistant at a time in the same
-Emacs session.  Workaround: use more than one Emacs session, with
-different settings of the variable proof-assistant.
+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!!
 
 * There is an obscure bug with processes on Solaris which results in
 buffers full of ^G after certain combinations of input.  Workaround:
-- 
cgit v1.2.3