diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:37:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:37:19 +0000 |
| commit | 18af1a7039675c564bbbc9b079232b7be5b05c35 (patch) | |
| tree | 01d55ca65d93c99dfcd445c00488fed3687267e2 /CHANGES | |
| parent | fdb3887417c045f58f1f8d0acbcd4c83c419bd76 (diff) | |
Updated.
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 |