diff options
| -rw-r--r-- | ChangeLog | 95 |
1 files changed, 95 insertions, 0 deletions
@@ -1,3 +1,98 @@ +2003-10-05 David Aspinall <da@proofgeneral.org> + + * /disk/cvs/proofgen/ProofGeneral/etc/ProofGeneral.spec, /disk/cvs/proofgen/ProofGeneral/generic/proof-site.el, /disk/cvs/proofgen/ProofGeneral/html/develdownload.php, /disk/cvs/proofgen/ProofGeneral/html/devel.html: + Set version tag for new release. + + * /disk/cvs/proofgen/ProofGeneral/html/news.html: Fix HTML + + * /disk/cvs/proofgen/ProofGeneral/images/favicon.icon: New files. + + * /disk/cvs/proofgen/ProofGeneral/coq/example.v: Rever to simplest example + + * /disk/cvs/proofgen/ProofGeneral/todo, /disk/cvs/proofgen/ProofGeneral/Makefile.devel, /disk/cvs/proofgen/ProofGeneral/FAQ, /disk/cvs/proofgen/ProofGeneral/CHANGES: + Updated. + + * /disk/cvs/proofgen/ProofGeneral/generic/proof-shell.el, /disk/cvs/proofgen/ProofGeneral/generic/proof-script.el, /disk/cvs/proofgen/ProofGeneral/generic/proof-config.el: + Add interactive input setting, and extra flags for action. + + * /disk/cvs/proofgen/ProofGeneral/isar/isar.el: + Remove proof-shell-interactive-input-regexp again! + + * /disk/cvs/proofgen/ProofGeneral/html/components.html: Fix more links. + + * /disk/cvs/proofgen/ProofGeneral/isar/isar.el: + Set proof-shell-interactive-input-regexp + + * /disk/cvs/proofgen/ProofGeneral/pgkit/pgip.el: Updated. + +2003-09-25 David Aspinall <da@proofgeneral.org> + + * /disk/cvs/proofgen/ProofGeneral/etc/isar/XSymbolTests.thy: + Add bug reported by Norbert Schirmer. + [Actually, superscript highlighting seems broken anyway] + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/html/components.html: Fix another link. + + * /disk/cvs/proofgen/ProofGeneral/html/devel.html: Fix another link + + * /disk/cvs/proofgen/ProofGeneral/html/devel.html: Fix link + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/html/devel.html: + Replace web mirror of repo with anon cvs description + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/html/news.html: Mention anon cvs + + * /disk/cvs/proofgen/ProofGeneral/html/Kit/docs/commentary.pdf, /disk/cvs/proofgen/ProofGeneral/html/Kit/dtd/pgip.rnc: + Updated from Kit repo + + * /disk/cvs/proofgen/ProofGeneral/html/Kit/.htaccess: New files. + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/html/develdownload.php: + Update XEmacs version. + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/html/head.html: + Swap charset to iso-8859-1 + + * /disk/cvs/proofgen/ProofGeneral/html/main.html: Fix Lambda-CLAM link + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /disk/cvs/proofgen/ProofGeneral/Makefile.devel: Fixup + + * /disk/cvs/proofgen/ProofGeneral/Makefile.devel: + Problem with export, temp fix + + * /disk/cvs/proofgen/ProofGeneral/etc/ProofGeneral.spec, /disk/cvs/proofgen/ProofGeneral/generic/proof-site.el, /disk/cvs/proofgen/ProofGeneral/html/develdownload.php, /disk/cvs/proofgen/ProofGeneral/html/devel.html: + Set version tag for new release. + +2003-09-24 David Aspinall <da@proofgeneral.org> + + * /disk/cvs/proofgen/ProofGeneral/CHANGES, /disk/cvs/proofgen/ProofGeneral/todo: + Updated. + + * /disk/cvs/proofgen/ProofGeneral/generic/pg-pgip.el: + Include class attribute in PGIP commands + + * /disk/cvs/proofgen/ProofGeneral/html/kit.php: + Describe work currrently underway; distribute some docs + + * /disk/cvs/proofgen/ProofGeneral/html/news.html: Updated. + + * /disk/cvs/proofgen/ProofGeneral/isar/Example-Xsym.thy, /disk/cvs/proofgen/ProofGeneral/html/Kit/dtd/pgip.rnc, /disk/cvs/proofgen/ProofGeneral/html/Kit/dtd/pgml.rnc, /disk/cvs/proofgen/ProofGeneral/html/Kit/docs/uitp03.pdf, /disk/cvs/proofgen/ProofGeneral/html/Kit/docs/commentary.pdf: + New files. + + * /disk/cvs/proofgen/ProofGeneral/html/Kit/Makefile: Updated. + 2003-09-25 David Aspinall <da@proofgeneral.org> * /disk/cvs/proofgen/ProofGeneral/html/components.html: |