diff options
author | 2002-07-19 12:18:18 +0000 | |
---|---|---|
committer | 2002-07-19 12:18:18 +0000 | |
commit | 414dd735c947edaed987b780579744e2328b3d9e (patch) | |
tree | 77d53cd0c747fb143edd347426dd651a66d5dd50 | |
parent | 5e5212dd7c1ca97dffede72f65f466e02832de64 (diff) |
Updated.
-rw-r--r-- | ChangeLog | 49 |
1 files changed, 49 insertions, 0 deletions
@@ -1,5 +1,54 @@ 2002-07-19 David Aspinall <da@proofgeneral.org> + * generic/proof-site.el: + Set version tag for new release. + + * generic/proof-site.el: Replace + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * phox/phox.el, plastic/plastic.el, twelf/twelf.el, isar/isar.el, lego/lego.el, hol98/hol98.el, isa/isa.el, generic/proof-script.el, generic/proof-shell.el, generic/proof-syntax.el, demoisa/demoisa.el, doc/PG-adapting.texi, acl2/acl2.el, coq/coq.el, demoisa/demoisa-easy.el, Makefile.devel, ChangeLog: + Variable name change proof-comment-{start,end}-regexp -> proof-script-comment-{start,end}-regexp. + + * FAQ: Spacing + + * isa/isabelle-system.el: + Bug in load-isar-keywords + + * etc/isar/Persistent.thy: Updated. + + * CHANGES: Mention fav improvs + + * todo: Updated + + * generic/proof-config.el: + Reduce proof-shell-quite-timeout + + * Makefile.devel: Ignore todo.defunct + + * todo.defunct: New files. + + * Makefile.devel: Add todo to tags + + * generic/proof-compat.el, generic/proof-splash.el: + Move imagep compat code to splash + + * generic/proof-menu.el: + Make favourites mechanism more robust; add delete command. + + * generic/proof-compat.el: + Trivially simulate events-to-keys + +2002-07-18 David Aspinall <da@proofgeneral.org> + + * coq/BUGS: X-sym bug + + * coq/x-symbol-coq.el: + Add yet more settings X-Sym complains about. + +2002-07-19 David Aspinall <da@proofgeneral.org> + * FAQ: Spacing * isa/isabelle-system.el: Bug in load-isar-keywords |