diff options
| author | David Aspinall | 2007-12-12 20:07:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-12 20:07:52 +0000 |
| commit | 1baea2b15bfdefacdbeccc1a626f5402b4ace99c (patch) | |
| tree | 5a68f443daeab34ff84b9e27d696980c1071ed84 | |
| parent | bd61237990f305615f4d87b7c48a26979f50f03a (diff) | |
Deleted file
| -rw-r--r-- | BUGS.developer | 18 | ||||
| -rw-r--r-- | IMPORTANT | 9 |
2 files changed, 0 insertions, 27 deletions
diff --git a/BUGS.developer b/BUGS.developer deleted file mode 100644 index 840bd8da..00000000 --- a/BUGS.developer +++ /dev/null @@ -1,18 +0,0 @@ --*- outline -*- - -* Developer's list of bugs. - -These are obscure/minor issues which are known about and -could be investigated fixed as low priority. - -** GNU Emacs oddity via menus - -Toggle scripting in incomplete buffer: Emacs hangs after -clicking on "yes". - - - - - - - diff --git a/IMPORTANT b/IMPORTANT deleted file mode 100644 index a597085f..00000000 --- a/IMPORTANT +++ /dev/null @@ -1,9 +0,0 @@ - IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned - by the Proof General project; please update your links to use the - new web address http://proofgeneral.inf.ed.ac.uk. - - Report bugs, feedback, suggestions directly to me. It helps if you - use an appropriate "+"-extension to my mail address, e.g. - - David Aspinall <da+pg-feedback@inf.ed.ac.uk> - |