Updated.

1 files changed, 50 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 72d4d0fb..d6eceb7f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,53 @@
+2003-03-14  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* x-symbol/lisp/x-symbol.el, x-symbol/lisp/x-symbol-hooks.el, x-symbol/lisp/x-symbol-vars.el, x-symbol/lisp/auto-autoloads.el, x-symbol/lisp/ChangeLog:
+	Updated version sent sent by CW
+
+	* generic/proof-x-symbol.el:
+	Use X-Symbol supplied functions for encoding input and decoding output regions
+
+	* generic/proof-script.el:
+	Be more polite with handling of invisibility spec
+
+	* generic/pg-response.el:
+	Comment about desirability for lazy-shot in trace output
+
+	* generic/proof-utils.el:
+	Only decode x-symbols if enabled globally for prover.
+
+	* generic/proof-menu.el:
+	Add requires to reduce compilation warnings.
+
+	* generic/proof-splash.el:
+	Kludge for key-press during loading problem with splash screen.
+
+2003-03-10  David Aspinall  <da@proofgeneral.org>
+
+	* CHANGES: Updated.
+
+	* etc/isar/XSymbolTests.thy:
+	Add test case with symbol in subscript
+
+	* generic/proof-splash.el: Update dates
+
+2003-03-07  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* todo: Updated.
+
+	* etc/isar/XSymbolTests.thy:
+	Remove notes about old bugs
+
+	* generic/proof-site.el:
+	Use Info-default-directory-list for GNU Emacs still
+
 2003-03-07  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: