diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-17 14:40:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-17 14:40:04 +0000 |
| commit | 5d289dc316d040f01352a4dd9642171a4a4d74dd (patch) | |
| tree | 63843b001355d921ca1317384f7a5c653105a99f /BUGS | |
| parent | 22d522a1b6272c9ef8fa94de992095d49d71ee28 (diff) | |
Fixed message about using several assistants
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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: |