diff options
| author | David Aspinall | 2009-09-05 13:58:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 13:58:40 +0000 |
| commit | b68a1c221020a3256eda081344d323b036500b3f (patch) | |
| tree | 653a531ee6907b89e845ba4076a74d63d71af12c | |
| parent | 41ac69352f5c7325acaa4e56859f9c88a37e832e (diff) | |
Deleted file
| -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 |