From 5e3ad5a50f903268ff0ce36012417006144ade75 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Aug 2002 20:39:27 +0000 Subject: Updated. --- ChangeLog | 82 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 82 insertions(+) diff --git a/ChangeLog b/ChangeLog index d35fa71f..94838aef 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,85 @@ +2002-08-16 David Aspinall + + * CHANGES: Updated. + + * generic/proof-config.el: + Tweaks to faces. Set visible default for tactics-name-face. + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * todo: Updated. + + * coq/coq.el: Print Proof + + * CHANGES: + Mention span menu improvements. + + * generic/pg-user.el: + Change order of menu + + * isar/todo: Updated. + + * isar/isar.el: Use shared span menu + + * isa/isabelle-system.el, isa/isa.el: + Add span menu for thm_deps + + * todo: Updated. + + * isa/depends.ML: + Identifier name change + + * BUGS, todo: + Updated. + + * todo, TODO: + Update + + * etc/proofgeneral-domain.txt: + More info + + * etc/announce: Updated + + * generic/proof-utils.el: Formatting + + * generic/pg-assoc.el: + Robustness against pg-subterm-start-char not being set. + + * generic/proof-depends.el: Docstring. + + * isa/isa.el: Variable name change + + * generic/proof-config.el: + Add context menu extensions, query dependencies cmd + + * isar/isar.el: + Name changes; span menu extensions; load theorem dependencies patch. + + * generic/pg-user.el: + pg-goals -> pg-assoc + +2002-08-15 David Aspinall + + * generic/proof-menu.el: Small fixes + + * generic/proof-config.el, generic/proof-utils.el: + Refactoring + + * generic/pg-goals.el, generic/pg-response.el, generic/proof-shell.el: + Refactoring. + + * generic/pg-pgip.el, generic/pg-xml.el: + Fix autoload + + * generic/proof-x-symbol.el: Typo + + * generic/proof-autoloads.el: Updated + + * generic/pg-assoc.el: New files. + 2002-08-16 David Aspinall * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: -- cgit v1.2.3