diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 00:46:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 00:46:16 +0000 |
| commit | b1393730a857734d49c94226f28e9359471e6d1a (patch) | |
| tree | 7c6483906f82219f8a0b4d088c7f2b0f386b558b /ChangeLog | |
| parent | 6cc8da69674f4874ce92bf5981052f40635de7e4 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 35 |
1 files changed, 35 insertions, 0 deletions
@@ -1,5 +1,40 @@ 2003-09-25 David Aspinall <da@proofgeneral.org> + * /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/Makefile.devel: Fixup * /disk/cvs/proofgen/ProofGeneral/Makefile.devel: |