diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 13:05:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 13:05:45 +0000 |
| commit | 2f124ce0ca5d689b262eac16679752034ef198c1 (patch) | |
| tree | 035d7f8bc51db89a967354b94fffdb228385cb3c | |
| parent | c734682d1cdd0035c8ae2b4f3af6002c90a5e7ce (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 52 |
1 files changed, 52 insertions, 0 deletions
@@ -1,3 +1,55 @@ +2001-08-10 David Aspinall <da@proofgeneral.org> + + * 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-09 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isa/x-symbol-isabelle.el: + fixed potential regexp typo (!?); + +2001-08-03 David Aspinall <da@proofgeneral.org> + + * CHANGES: + Note about improved win32 support + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * html/fileshow.php: + Fix link back to fileshow.php + + * html/fileshow.html: Renamed file + + * html/main.html: Fix screenshot link + 2001-08-03 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |