From dc8228180888ee719a13e7903490b8b247983bf1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 8 Jun 2002 12:26:58 +0000 Subject: Updated. --- ChangeLog | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 58b19383..afbba5c1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,57 @@ +2002-06-08 David Aspinall + + * etc/ProofGeneral.spec: + Add install for isartags + + * ChangeLog: Updated. + + * isar/isar.el: + Fix bug in string syntax in isar-strip-terminators: did this work correctly before? + + * generic/span.el: + Clean up span.el loading; make compat with bbdb.el in FSF + + * generic/proof-shell.el: + Clean up span.el loading + + * ChangeLog: Updated. + + * 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 * isar/isar.el: -- cgit v1.2.3