From a671ce568bf289f29910b60365b8af5ca4d73428 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 9 Aug 2002 13:03:47 +0000 Subject: Updated. --- ChangeLog | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/ChangeLog b/ChangeLog index 3d68ec51..9a4a3047 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,41 @@ +2002-08-09 David Aspinall + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * generic/proof-script.el: Doc + + * doc/ProofGeneral.texi: + Doc comments also under vis control + + * CHANGES: Updated. + + * etc/isa/completed-proof.ML: + New files. + + * generic/proof-script.el: + Fix proof-disappearing-proofs; comments + + * generic/proof-config.el, generic/proof-script.el: + Refactor proof-done-advancing by abstracting out new functions; fixes for autosave case. + + * generic/proof-toolbar.el, generic/proof-config.el: + Add menu entry for toggling visibility + + * generic/span.el: + Add span-property-safe + + * REGISTER: Updated. + + * etc/isar/Parsing.thy: More comments + + * etc/isar/new-parsing-test.el: + New files. + + * isar/test.el: Deleted file + 2002-08-09 David Aspinall * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: -- cgit v1.2.3