From 469213b16b0501fc72f66ccdcc2c64568eee1d37 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 8 Jun 2002 09:51:17 +0000 Subject: Updated. --- ChangeLog | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/ChangeLog b/ChangeLog index bde60f24..1b26c693 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,41 @@ +2002-06-08 David Aspinall + + * todo: Updates + + * acl2/example.acl2: Remove duplicate + + * etc/ProofGeneral.spec: Add isartags + + * isar/isartags: Program [broken] + + * doc/ProofGeneral.texi: Update magic + + * coq/coqtags, lego/legotags: + Default to /usr/bin/perl + + * CHANGES: Note about removing dirs + + * html/projects.html: + Remove PGK mention, other obs projects + + * ChangeLog: Updated. + + * generic/proof-script.el: + Robustness fixes/bug notes + + * generic/proof-menu.el: Spacing + + * generic/span-extent.el: + Tweak liveness test + + * generic/proof-site.el: Alter order + + * generic/proof-config.el: + Fix keysym to use FSF syntax + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + 2002-06-08 David Aspinall * generic/proof-script.el: -- cgit v1.2.3