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 /IMPORTANT | |
| parent | bd61237990f305615f4d87b7c48a26979f50f03a (diff) | |
Deleted file
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> - |