diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-01-15 15:48:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-01-15 15:48:05 +0000 |
| commit | fd2e8c190ca4ec0b0c8a26e04c4804a62477c4e7 (patch) | |
| tree | 7d0841c4167a15a1827f4184bc47d0eabfd1abfa | |
| parent | afb74243a342f7e9ee954101587d270e60052c0d (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 43 |
1 files changed, 43 insertions, 0 deletions
@@ -1,3 +1,46 @@ +2002-01-15 David Aspinall <da@proofgeneral.org> + + * generic/proof-shell.el: + Remove defunct code + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * html/feedback.html: Deleted files. + + * CHANGES: + Describe tracing improvements. + + * generic/proof-utils.el: + windows-of-buffer -> get-buffer-window-list GNU name + + * generic/proof-shell.el: + Inspect quit-flag when displaying tracing output; send an interrupt to the prover if set. + + * generic/proof-shell.el: + Redisplay during tracing output on XEmacs + + * html/projects.html, html/download.html, html/gallery.php, html/links.html, html/main.html, html/oldnews.html: + Fix link to feedback page + +2002-01-14 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * etc/isar/trace_simp.thy: tuned; + + * etc/isar/trace_simp.thy: + some test cases for trace_simp output; + +2002-01-11 David Aspinall <da@proofgeneral.org> + + * COPYING: Fix numbering + + * CHANGES: Fix number + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + 2002-01-11 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |