diff options
| author | David Aspinall | 2004-02-07 20:02:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-07 20:02:15 +0000 |
| commit | 771b3debb6c21b1cd1ba4815b2568cb4f675816d (patch) | |
| tree | 787264341f7a6236a3b2c2a3969e59077730d946 /ChangeLog | |
| parent | 1e10f25e3a2c28133b6736377b093550b70df8a1 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 25 |
1 files changed, 25 insertions, 0 deletions
@@ -1,5 +1,30 @@ 2004-02-07 David Aspinall <da+pg-da@inf.ed.ac.uk> + * 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 <da+pg-da@inf.ed.ac.uk> + * Makefile.devel: Add options to tag so devel.untag not needed * generic/proof-config.el, generic/proof-utils.el: |