From 0bb9b07ff611f2bf67abffeb58ead4306195f71b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 5 Oct 2003 16:25:27 +0000 Subject: Updated. --- ChangeLog | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/ChangeLog b/ChangeLog index 819d7aa9..66917d9d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,34 @@ +2003-10-05 David Aspinall + + * /disk/cvs/proofgen/ProofGeneral/html/develdownload.php: Remove CVS junk + + * /disk/cvs/proofgen/ProofGeneral/ChangeLog: Updated. + + * /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-10-05 David Aspinall * /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: -- cgit v1.2.3