From cf5a21992b704bd9a815407f9bf863dba2d8a5f3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 16:21:45 +0000
Subject: Updated.

---
 ChangeLog | 95 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 95 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 3a291adb..819d7aa9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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:
-- 
cgit v1.2.3