diff options
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,8 @@ -Known bugs and workarounds. +Known Bugs and Workarounds. =========================== +$Id$ + * Outline-mode does not work in proof script files due to read-only restrictions of protected region |