diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 38 |
1 files changed, 38 insertions, 0 deletions
@@ -1,5 +1,43 @@ 2002-06-08 David Aspinall <da@proofgeneral.org> + * 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 <da@proofgeneral.org> + * generic/proof-script.el: Robustness fixes/bug notes |