diff options
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: |