diff options
| author | David Aspinall | 1998-11-06 15:26:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-06 15:26:13 +0000 |
| commit | 160e5099123f2c7d57e8503ea1f79faaf7c877fa (patch) | |
| tree | 437e77da772b4bae85841f340f75b0c1447dd13b /BUGS | |
| parent | 5c175a17408d066545eb2957bb21d65e9411d4df (diff) | |
Nasty things no longer happen, can't load Proof General more than once
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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. |