Updated.

1 files changed, 100 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index b78ec9cc..bde60f24 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,103 @@
+2002-06-08  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-script.el:
+	Robustness fixes/bug notes
+
+	* generic/proof-menu.el: Spacing
+
+	* generic/span-extent.el:
+	Tweak liveness test
+
+	* generic/proof-site.el: Alter order
+
+	* generic/proof-config.el:
+	Fix keysym to use FSF syntax
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+2002-06-05  David Aspinall  <da@proofgeneral.org>
+
+	* isar/isar-keywords.el:
+	Add types_code and friends
+
+2002-05-29  Pierre Courtieu  <courtieu@lri.fr>
+
+	* coq/coq.el:
+	Made a negative test to compute the number of "Back n" in
+	coq-find-and-forget.
+
+	* coq/coq.el, coq/coq-syntax.el:
+	Modification of the coq-find-and-forget  function, in order to use the
+	new "Back n." command of coq  to make the syncronization better. Seems
+	to work, need to test.
+
+	* coq/coq-syntax.el:
+	Added some new tactic names
+
+2002-05-21  David Aspinall  <da@proofgeneral.org>
+
+	* isa/isabelle-system.el:
+	Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)
+
+2002-05-13  Markus Wenzel  <wenzelm@informatik.tu-muenchen.de>
+
+	* doc/ProofGeneral.texi:
+	updated URLxsymbol (unused);
+
+2002-05-10  Markus Wenzel  <wenzelm@informatik.tu-muenchen.de>
+
+	* isar/isar.el:
+	tuned isar-strip-terminators;
+
+2002-05-03  Markus Wenzel  <wenzelm@informatik.tu-muenchen.de>
+
+	* TODO: fixed spelling;
+
+	* isar/isar.el: tuned comment;
+
+	* isar/todo, isar/isar.el:
+	tuned proof-next-error setup;
+
+2002-05-03  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php:
+	Set version tag for new release.
+
+	* html/eproofe.php, html/eproofe:
+	New files.
+
+	* generic/proof-x-symbol.el:
+	Fix X-symbol URL
+
+	* generic/proof-utils.el:
+	Fix font lock for E21 (I hope)
+
+	* generic/proof-config.el:
+	Try to support next-error key binding for both Emacs versions.
+
+	* doc/ProofGeneral.texi:
+	Reflect change in load order
+
+	* CHANGES: Updates
+
+	* generic/proof-site.el:
+	Fix loading order to load Isar before Isa
+
+	* isar/isar.el:
+	Added support for proof-shell-next-error
+
+	* isar/isar.el:
+	Add support for proof-next-error.
+
+	* generic/proof-config.el:
+	Craftily set experimental fetures on for devel release.
+
+	* generic/pg-user.el:
+	Began adding generic line-width adjust
+
 2002-05-03  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: