From f19199b804bdc4e024dd61fa3879783a89276125 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 25 Sep 2003 00:49:47 +0000 Subject: Updated. --- ChangeLog | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index bee5aa49..bf821d99 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,43 @@ +2003-09-25 David Aspinall + + * /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 + + * /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 * /disk/cvs/proofgen/ProofGeneral/html/head.html: -- cgit v1.2.3