diff options
author | 2001-08-16 17:49:42 +0000 | |
---|---|---|
committer | 2001-08-16 17:49:42 +0000 | |
commit | 98f441d3eccc0d51cefbd059a04cba01401576bd (patch) | |
tree | af4f5dc18e42153104ccaac095c2f55aebc1ef81 | |
parent | 19a2263bec490316fb6b79625bf482c6b8c482fb (diff) |
Updated.
-rw-r--r-- | ChangeLog | 83 |
1 files changed, 83 insertions, 0 deletions
@@ -1,3 +1,86 @@ +2001-08-16 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * doc/ProofGeneral.texi: + Document visibility control + + * html/devel.html: + Add link to browse files + + * html/download.html: + Add link to browse package + + * html/develdownload.php: + Add link to individual files + + * CHANGES: + Move visibility item up, removed "in progress" + + * generic/proof-shell.el: + Switch back to using goalsave spans in PBP code + + * generic/proof-config.el, generic/proof-toolbar.el: + Add hide/show commands instead of make proofs visible + + * generic/proof-script.el: + Generate intermediate proof span for contents of proof; other becomes 'goalsave again. Add idiom property. + + * generic/pg-user.el: + Function name fixes, use idiom property in span for popup menu name. + +2001-08-15 David Aspinall <da@proofgeneral.org> + + * html/gallery.php: + Fix screenshots link + + * html/gallery: Fix again. + + * html/gallery: Fix link + +2001-08-10 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * CHANGES: Explain symptom properly + + * generic/proof-script.el: + Use proof-looking-at-syntactic-context function from proof-syntax, as suggested by Markus + + * generic/proof-syntax.el: + Found another instance of buffer-syntactic-context + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: + Put all in dist except pgkit + + * README: + Rearrange list of assistants, note REGISTER. + + * FAQ: Remove note about 3.1 + + * BUGS: Comment about win32 XEmacs + + * generic/proof-compat.el: + Workaround for buffer-syntactic-context bug in XEmacs 21.1 + + * generic/proof-script.el, isar/isar.el: + Change buffer-syntactic-context -> proof-buffer-syntactic-context + + * etc/isar/XEmacsSyntacticContextProb.thy: + Bug test case, note workaround date + + * etc/isar/XEmacsSyntacticContextProb.thy: + Bug test case + + * CHANGES: + Note of bug fix for buffer-syntactic-context + 2001-08-10 David Aspinall <da@proofgeneral.org> * CHANGES: Explain symptom properly |