diff options
| author | David Aspinall | 2008-07-12 14:07:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-12 14:07:37 +0000 |
| commit | d88c5650bc146b748a2a461ceaa2e12c6a6e74c1 (patch) | |
| tree | 87bed8193f103ba34c7a36ba3c1902daef87c54c | |
| parent | 86d6f7053bba5cba50525f18e218a6784780b9e9 (diff) | |
New files.
| -rw-r--r-- | FUTURE | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -0,0 +1,4 @@ +********************************************************************* +*** Warning: Proof General 4.0 will only support recent GNU Emacs *** +*** Please switch from using XEmacs and older versions now! *** +*********************************************************************
\ No newline at end of file |