Updated.

1 files changed, 22 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index fe10ab1a..fd721de5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,27 @@
 2003-02-24  David Aspinall  <da@proofgeneral.org>
 
+	* generic/proof-x-symbol.el:
+	Documentation.
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* generic/proof-x-symbol.el:
+	Set x-symbol-data-directory
+
+	* generic/proof-menu.el:
+	Fix proofdefinvisible, proofdefshortcut to work in compiled version
+
+	* etc/ProofGeneral.spec:
+	Add mmm and x-symbol
+
+	* coq/coq.el, coq/coq-syntax.el, lego/lego.el, plastic/plastic.el, generic/span-overlay.el, isa/x-symbol-isabelle.el, generic/proof-script.el, generic/proof-site.el, generic/proof-utils.el, generic/pg-metadata.el, generic/pg-pgip.el, generic/pg-response.el, generic/pg-user.el:
+	Fix some compile errors
+
+2003-02-24  David Aspinall  <da@proofgeneral.org>
+
 	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
 	Set version tag for new release.