diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 14:02:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 14:02:46 +0000 |
commit | f45e4719e7e78d27566cb141f48afccca1e3fd06 (patch) | |
tree | b1c60befcda607743a068397b03dcb20aceaf952 /BUGS | |
parent | a4c0501d4007ad5f2d2f43c2cb5d1d5f137c6618 (diff) |
Added Id to headers.
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 |