From 18af1a7039675c564bbbc9b079232b7be5b05c35 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 3 Aug 2010 13:37:19 +0000 Subject: Updated. --- CHANGES | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 433dede0..f2a18a55 100644 --- a/CHANGES +++ b/CHANGES @@ -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 -- cgit v1.2.3