From 0a51e0b0da061eda1aa8845d620ed8e11ba0f1be Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 Jan 2001 18:05:47 +0000 Subject: Updated. --- ChangeLog | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 3757643b..ce9e7869 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,21 @@ +2001-01-12 David Aspinall + + * isa/isa.el: + Fix loading thy mode fist problem: require proof-script since context + menus are now added for response/goals buffer, which requires proof mode. + +2001-01-12 Markus Wenzel + + * isa/isabelle-system.el, isar/isar.el, isar/isar-syntax.el: + proof-string-match; + +2001-01-12 David Aspinall + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + 2001-01-12 David Aspinall * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: -- cgit v1.2.3