From 771b3debb6c21b1cd1ba4815b2568cb4f675816d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 20:02:15 +0000 Subject: Updated. --- ChangeLog | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 6314bf4e..d961df41 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,28 @@ +2004-02-07 David Aspinall + + * Makefile.devel: Updates for moving html out of ProofGeneral dir + + * ChangeLog: Updated. + + * Makefile.devel: Add options to tag so devel.untag not needed + + * generic/proof-config.el, generic/proof-utils.el: + Remove more proofgeneral.org mail aliases + + * Makefile.devel: + Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE. + + * etc/ProofGeneral.spec, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: Fix for pserver return code on update + + * Makefile.devel: Add Emacs mode tag + + * FAQ: Updated + + * etc/Mailman/note.txt: Updated. + 2004-02-07 David Aspinall * Makefile.devel: Add options to tag so devel.untag not needed -- cgit v1.2.3