Updated.

1 files changed, 125 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index de8c8816..a21768d5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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: