diff options
| -rw-r--r-- | ChangeLog | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -20,6 +20,26 @@ 2001-01-12 David Aspinall <da@proofgeneral.org> + * 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 <wenzelm@informatik.tu-muenchen.de> + + * isa/isabelle-system.el, isar/isar.el, isar/isar-syntax.el: + proof-string-match; + +2001-01-12 David Aspinall <da@proofgeneral.org> + + * 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 <da@proofgeneral.org> + * 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. |