diff options
Diffstat (limited to 'IMPORTANT')
| -rw-r--r-- | IMPORTANT | 9 |
1 files changed, 0 insertions, 9 deletions
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> - |