From 414dd735c947edaed987b780579744e2328b3d9e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 19 Jul 2002 12:18:18 +0000 Subject: Updated. --- ChangeLog | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/ChangeLog b/ChangeLog index 5d8cff86..b525f127 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,52 @@ +2002-07-19 David Aspinall + + * 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 + + * coq/BUGS: X-sym bug + + * coq/x-symbol-coq.el: + Add yet more settings X-Sym complains about. + 2002-07-19 David Aspinall * FAQ: Spacing -- cgit v1.2.3