From 76d6b0b2b1f039549d308a0d2c478a6b05869af9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jul 2008 09:51:53 +0000 Subject: Merge changes from Version4Branch. --- BUGS | 7 ------- 1 file changed, 7 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index b9f3c4d6..3535dce5 100644 --- a/BUGS +++ b/BUGS @@ -84,13 +84,6 @@ The code is not fully protected from Emacs interrupts. Workaround: Don't type C-g while script management is processing. If you do, use proof-restart-scripting to be sure of synchronizing. -** Outline-mode does not work in processed proof script files - -Because of read-only restrictions of the protected region. -This is an inherent problem with outline because it works by -modifying the buffer. -Workaround: none. - ** When proof-rsh-command is set to "ssh host", C-c C-c broken The whole process may be killed instead of interrupted. This isn't a -- cgit v1.2.3