diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 12:49:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 12:49:20 +0000 |
| commit | 8a0b2a016a88b54bab33b22f927f821be43fcd6f (patch) | |
| tree | 9f3a81d19fd6e3eca5d67326e62359d796eeb270 /COMPATIBILITY | |
| parent | 65b1e172e66cc64d66cdad356ec9cc1cd7f7e69d (diff) | |
Updated.
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 4125408c..302d5ef6 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -27,10 +27,10 @@ has been removed here, specifically affecting: Isabelle 2004 Earlier buggy versions of GNU Emacs 21 -******************************************************************* -*** IMPORTANT NOTE: XEmacs compatibility may be dropped soon, *** -*** switching to GNU Emacs is recommended. *** -******************************************************************* +********************************************************************* +*** IMPORTANT NOTE: XEmacs compatibility will be dropped on next *** +*** release of PG -- switching to GNU Emacs now is recommended! *** +********************************************************************* Running on Windows ------------------ |