diff options
| -rw-r--r-- | THIS-IS-PG4 | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/THIS-IS-PG4 b/THIS-IS-PG4 deleted file mode 100644 index 7b01a131..00000000 --- a/THIS-IS-PG4 +++ /dev/null @@ -1,5 +0,0 @@ -********************************************************************* -*** Warning: Proof General 4.0 only supports recent GNU Emacs *** -********************************************************************* - -For plans, see trac report: http://tinyurl.com/5em4x5
\ No newline at end of file |