From 4e52ccc6d7217adff2ef60e5654a7d8be87f5e22 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 14 Jul 2002 13:39:36 +0000 Subject: Updated. --- ChangeLog | 81 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 81 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index dae86bc8..888b5d04 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,84 @@ +2002-07-14 David Aspinall + + * Makefile.devel: Flag on cp + + * ChangeLog: Updated. + + * hol98/hol98.el: ws + + * twelf/twelf.el: Remove use new parser + + * todo: Stick 3.4 stuff on end + + * isa/BUGS, isar/BUGS, BUGS: + Tracing bug + + * html/oldrel.php: Add check changes + + * doc/ProofGeneral.texi: Fix authorship + + * Makefile.devel: Add prune to update + + * Makefile.devel: Try to debug + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * html/develdownload.php: Reformat + + * html/mailinglist: Typo + + * html/download.html: + Remove 3.3 download, encourage test version use. + + * html/news.html: Rewrite history + + * html/oldrel.php: Move 3.3 to oldrel + + * html/devel.html: Improve layout + + * html/proofgen.css: Tweaks for forms. + + * html/feedback.php: Improve layout. + + * html/main.html: + Simplify system infos. + + * html/images/phox-einstein.jpg: + New files. + + * demoisa/demoisa-easy.el: + Layout, comments. + + * html/features.html, html/main.html: + Move project desc to features listing + + * html/register: Improve layout + + * html/proofgen.css: + Style for lists tweaked. + + * etc/Mailman/note.txt: New files. + + * etc/Mailman/subscribe.html, etc/Mailman/handle_opts.html, etc/Mailman/listinfo.html, etc/Mailman/options.html: + Cleanup html, fix URLs to final versions. + +2002-07-13 David Aspinall + + * etc/Mailman/subscribe.html, etc/Mailman/handle_opts.html: + First customized versions + + * etc/Mailman/options.html: + Fix up. Still ugly. + + * etc/Mailman/handle_opts.html, etc/Mailman/subscribe.html, etc/Mailman/options.html: + New files. + + * etc/Mailman/listinfo.html: + Tidy up source, improve titles. + 2002-07-14 David Aspinall * hol98/hol98.el: ws -- cgit v1.2.3