diff options
| author | David Aspinall | 2001-09-13 17:03:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-13 17:03:35 +0000 |
| commit | 5827904e879e4880cc5eb67238c309e57d37cc39 (patch) | |
| tree | d6f57f23ea8c37892905f94871b5e6425cd59802 /ChangeLog | |
| parent | 29d157d645953cd801f22ece61e52a4caabf4b24 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 48 |
1 files changed, 48 insertions, 0 deletions
@@ -1,5 +1,53 @@ 2001-09-13 David Aspinall <da@proofgeneral.org> + * doc/PG-adapting.texi: + Link uref nicely + + * doc/ProofGeneral.texi: + Minor improvements + + * doc/ProofGeneral.texi: + Updates from an old printout of the manual + + * todo: updated + + * doc/PG-adapting.texi: + Updates from an old printout of the manual + + * ChangeLog: Updated. + + * html/Kit/Makefile: New files. + + * html/Kit/dtd/pgip.dtd, html/Kit/dtd/pgml.dtd: + Updated from Kit repo + + * html/download.html: Fix link + + * html/smallpage.php: + Fix two more gaping holes letting people examine whole filesystem (also fixed in server anyway) + + * html/feedback, html/feedback.html, html/develdownload, html/develdownload.html, html/kit.php, html/kit, html/kit.html: + PHP in php, html and no extn link to php + + * ChangeLog: Updated. + + * html/htmlshow.php: + Fix two more gaping holes letting people examine whole filesystem + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * html/feedback: Feedback quick link + + * CHANGES: No changes msg + + * html/kit.html, html/mailinglist.html, html/develdownload.html, html/doc.html, html/feedback.html, html/kit, html/.htaccess: + Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files + +2001-09-13 David Aspinall <da@proofgeneral.org> + * html/Kit/Makefile: New files. * html/Kit/dtd/pgip.dtd, html/Kit/dtd/pgml.dtd: |