diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 14:09:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 14:09:12 +0000 |
| commit | f3adf335e01ad89818a3edfa643defbdf28d46cd (patch) | |
| tree | 5f08cb24d0cf2fecb5ccdac89a2153c12d2645cf /doc | |
| parent | 9768a77e4ced2ebec46b6d05bd183a5f12ef72d4 (diff) | |
More changes
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index b0f5d974..0d29082f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -229,8 +229,10 @@ Proof General version 4.0 is a major overhaul of Proof General. The main changes are: @itemize @bullet @item support for GNU Emacs only, @b{you cannot use XEmacs any more} -@item addition of Unicode Tokens mode, which now replaces X-Symbol +@item addition of @b{Unicode Tokens} mode, which now replaces X-Symbol @item allow ``document centred'' working, annotating scripts with prover output +@item several efficiency and speed improvements +@item support for latest versions of provers (Isabelle2009 and Coq 8.1) @end itemize See the @file{CHANGES} file in the distribution for more complete |