diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -10,6 +10,7 @@ Unicode Tokens has been significantly improved since PG 3.7.1, and now works purely at a "presentation" level without changing buffer contents. For best results, Emacs 23 is recommended. + See Tokens menu for many useful commands. *** Document-centred mechanisms added: - auto raise of prover output buffers can be disabled @@ -23,6 +24,9 @@ buffers can be ignored and hidden. Use "full annotation" to keep output when several steps are taken. +*** "Movie" output: export an annotated buffer in XML + Basic movie output for Proviola, see http://mws.cs.ru.nl/proviola + *** Improved prevention of Undo in locked region proof-allow-undo-in-read-only: now defaults to nil |