From 1baea2b15bfdefacdbeccc1a626f5402b4ace99c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 12 Dec 2007 20:07:52 +0000 Subject: Deleted file --- BUGS.developer | 18 ------------------ IMPORTANT | 9 --------- 2 files changed, 27 deletions(-) delete mode 100644 BUGS.developer delete mode 100644 IMPORTANT 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 - -- cgit v1.2.3