Updated.

1 files changed, 135 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 3834049b..d35fa71f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,138 @@
+2002-08-16  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* todo: Updated.
+
+	* coq/coq.el: Print Proof
+
+	* CHANGES:
+	Mention span menu improvements.
+
+	* generic/pg-user.el:
+	Change order of menu
+
+	* isar/todo: Updated.
+
+	* isar/isar.el: Use shared span menu
+
+	* isa/isabelle-system.el, isa/isa.el:
+	Add span menu for thm_deps
+
+	* todo: Updated.
+
+	* isa/depends.ML:
+	Identifier name change
+
+	* BUGS, todo:
+	Updated.
+
+	* todo, TODO:
+	Update
+
+	* etc/proofgeneral-domain.txt:
+	More info
+
+	* etc/announce: Updated
+
+	* generic/proof-utils.el: Formatting
+
+	* generic/pg-assoc.el:
+	Robustness against pg-subterm-start-char not being set.
+
+	* generic/proof-depends.el: Docstring.
+
+	* isa/isa.el: Variable name change
+
+	* generic/proof-config.el:
+	Add context menu extensions, query dependencies cmd
+
+	* isar/isar.el:
+	Name changes; span menu extensions; load theorem dependencies patch.
+
+	* generic/pg-user.el:
+	pg-goals -> pg-assoc
+
+2002-08-15  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-menu.el: Small fixes
+
+	* generic/proof-config.el, generic/proof-utils.el:
+	Refactoring
+
+	* generic/pg-goals.el, generic/pg-response.el, generic/proof-shell.el:
+	Refactoring.
+
+	* generic/pg-pgip.el, generic/pg-xml.el:
+	Fix autoload
+
+	* generic/proof-x-symbol.el: Typo
+
+	* generic/proof-autoloads.el: Updated
+
+	* generic/pg-assoc.el: New files.
+
+	* html/elispmarkup.php3:
+	Play with markup.
+
+2002-08-13  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-syntax.el:
+	proof-string-match-safe is even more safe
+
+	* isa/isabelle-system.el:
+	Dont force isatool to be found
+
+2002-08-12  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* doc/ProofGeneral.texi:
+	Tweak Pierres docs
+
+	* README.exper: Note about exper bugs
+
+	* generic/span.el, generic/span-extent.el, generic/span-overlay.el:
+	Abstract more functions from concrete cases.
+
+	* generic/proof-utils.el:
+	Patch for XEmacs 20.4 compat [incomplete?].
+
+	* generic/proof-config.el: Docstring
+
+	* generic/texi-docstring-magic.el: Note
+
+	* generic/pg-user.el:
+	Fix for moving span duplicable prob.  Still not really working
+
+	* doc/PG-adapting.texi: Update magic
+
+	* doc/ProofGeneral.texi:
+	Document experimental features; update other descriptions.
+
+	* generic/proof-config.el: Docstring
+
+	* html/eeproof.php: New files.
+
+	* html/eeproof, html/eproofe:
+	Renamed file
+
+	* isar/Example.thy:
+	Remove comment at the end testing feature.  See etc/isar/Parsing.thy instead.
+
+	* README.exper:
+	Describe variable highlighting
+
+	* isar/isar.el, isa/isa.el:
+	Enable variable highlighting in case experimental features enabled.
+
+	* isa/README, isar/README:
+	Updated
+
 2002-08-12  David Aspinall  <da@proofgeneral.org>
 
 	* ChangeLog: Updated.