diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 125 |
1 files changed, 125 insertions, 0 deletions
@@ -1,3 +1,128 @@ +2001-05-16 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: + Set version tag for new release. + + * doc/ProofGeneral.texi: Minor + + * bin/proofgeneral: + Run the display splash command + + * generic/proof-config.el: + Moved splash settings and basic custom groups elsewhere + + * CHANGES: splash changes. + + * generic/proof-site.el: + Move loading of compatibility flag, autoloads, basic customization groups here. + + * generic/proof.el: + Move autoloads loads to proof-site, invoke (proof-splash-message) + + * generic/proof-compat.el: + Move emacs version compatibility flags to proof-site.el + + * generic/proof-splash.el: + Move configuration from proof-config here. Make proof-splash-message display logo or print message. + + * etc/README: + Doc of spec and menu, patch now removed + +2001-05-08 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.menu: + Fix case to match Mandrake menu. + + * ChangeLog: Updated. + + * etc/ProofGeneral.menu: Fix quotes. + + * html/functions.php3: + Repair link via htmlshow.php + + * doc/PG-adapting.texi: + Change info dir entry to appear next to Proof General entry. + + * ChangeLog: Updated. + + * html/develdownload.php: + Set version tag for new release. + + * Makefile.devel: + Change DEVELDOWNLOAD to edit correct file + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec: + Add a line to clear out build root. + + * ChangeLog: Updated. + + * Makefile.devel: + Forgot to make BUILD dir. + + * ChangeLog: Updated. + + * Makefile.devel: + Fix cut and past tab error + + * Makefile.devel: + rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to tar file + + * ChangeLog: Updated. + + * Makefile.devel: + Clean out NAME, force link. + + * ChangeLog: Updated. + + * Makefile.devel: + Include a few files from etc in the distribution, esp .spec file + + * etc/ProofGeneral.menu: + *** empty log message *** + + * etc/ProofGeneral.patch: + Deleted files. + + * ChangeLog: Updated. + + * doc/ProofGeneral.texi: + Fix section title for makeinfo + + * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: + Dont make SRPM any more. Use rpm -tb to build binary package from tarball + + * CHANGES: Updates + + * etc/ProofGeneral.spec: + Updates, removal of patch so that rpm -ta works + + * doc/ProofGeneral.texi: + Updates for 3.3 + + * generic/proof-utils.el: + Fixes for fontification in Xemacs 21.4 + + * generic/proof-site.el, generic/proof-syntax.el, generic/proof-shell.el, generic/proof-easy-config.el, generic/proof-indent.el, generic/proof-menu.el, generic/proof-config.el, generic/pg-pgip.el, generic/pg-user.el, generic/pg-xml.el, generic/proof-compat.el: + Copyright date updated + + * generic/README: + Add Markus to list of authors + + * html/main.html: + preliminary -> experimental + + * html/develdownload.php: + No longer distrib SRPM + + * html/news.html: New news item + 2001-05-08 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.menu: |