diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-10-08 10:18:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-10-08 10:18:24 +0000 |
| commit | a73e41c7cbdb8a93467ca5f34f4735c911030354 (patch) | |
| tree | 0597060ae5820bacf97c994c8d0e53c79225d259 | |
| parent | 2d96c58985366f1382373f7b0748fe6b5bd1ac41 (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 52 |
1 files changed, 52 insertions, 0 deletions
@@ -1,3 +1,55 @@ +2001-10-08 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * CHANGES: Add back note. + +2001-10-04 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isar/isar.el: + added isar-help-induct-rules; + +2001-10-04 David Aspinall <da@proofgeneral.org> + + * CHANGES: Remove note for devel + + * generic/proof-toolbar.el: + Fix fudged enabler to call button function interactively. + +2001-09-26 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isa/x-symbol-isabelle.el: + support \<^bold> control symbols; + + * generic/proof-config.el: + fixed spelling; + +2001-09-24 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * coq/coq.el: + Add Lemma to exclusion for coq-goal-command-p. + + * doc/PG-adapting.texi: Update magic + + * doc/docstring-magic.el: New line + + * generic/proof-config.el: + Fix error in docs of stop-silent-command, and name of pre-shell-start-hook. + + * doc/ProofGeneral.texi: + Another bug reporter + + * generic/proof-shell.el: + Implement Robert Schnecks idea to help Coq display whole of goals output. + + * CHANGES: Devel release is tweaked 3.3 + 2001-09-24 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |