diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-27 14:52:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-27 14:52:23 +0000 |
| commit | 49c33ad595b0cdcf91e5368e25e26f6743824a73 (patch) | |
| tree | 3a7d906bc78ad8df2ae0aadb8e73fd9d1c039d31 /COMPATIBILITY | |
| parent | 84b0f643c1085907e8da1897d0562cea8941481f (diff) | |
Updated.
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index c07a928b..64af7b6c 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -6,9 +6,9 @@ on Linux: Emacs 22.1.1 -- recommended and supported - Emacs 21.4.1 -- tested; works except X-Symbol sub/superscripts - XEmacs 21.4.XX -- tested + Emacs 21.4.1 -- tested; poorer X-Symbol sub/superscript support XEmacs 21.5 (beta28) -- tested; PG has workarounds for several bugs + XEmacs 21.4.XX -- tested and prover versions: |