From 624d3ab542be623b0bbb8c2ad56ccfecbc3d4861 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 Jan 2001 18:42:35 +0000 Subject: Updated. --- ChangeLog | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 42b7c978..342eb3d4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -18,6 +18,26 @@ * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: Set version tag for new release. +2001-01-12 David Aspinall + + * ChangeLog: Updated. + + * 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 * isa/isa.el: -- cgit v1.2.3