diff options
| author | David Aspinall | 2001-09-13 16:13:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-13 16:13:28 +0000 |
| commit | 4a84f5459a93c17681d8ede8e5a6a20ab0fb093f (patch) | |
| tree | c7db8e795063b32fb52a479f448d9f83281f6107 | |
| parent | 13980845b34fb3c91b97cf06c3fac293bed56c33 (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 32 |
1 files changed, 32 insertions, 0 deletions
@@ -1,5 +1,37 @@ 2001-09-13 David Aspinall <da@proofgeneral.org> + * 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/htmlshow.php: Fix two more gaping holes letting people examine whole filesystem |