Updated.

1 files changed, 106 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index ad4e5e50..38574fdc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,109 @@
+2002-07-18  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* etc/ProofGeneral.spec:
+	Rename READMEs for different provers so dont clash with doc directive.
+
+	* html/doc.html: Fix typo
+
+	* html/doc.html:
+	Use short cut links for manual, and remove 3.3 from doc links.
+
+	* html/functions.php3:
+	hack_html: Make internal links use short-cut url if given
+
+	* html/adaptingman, html/userman:
+	New files.
+
+	* html/devel.html, html/main.html:
+	Link to standalone comps
+
+	* html/develdownload.php:
+	Link to latest version for manuals
+
+	* html/components.html:
+	Add links for TeXinfo and docstrings
+
+	* html/components, html/components.html:
+	New files.
+
+	* CHANGES: Mention experimental nature
+
+	* isa/isabelle-system.el, isar/isar.el, generic/proof-utils.el, isa/isa.el, generic/pg-goals.el, generic/proof-config.el:
+	Fix active variable highlighting in Isabelle with X-Symbol.
+
+	* doc/PG-adapting.texi: Update magic
+
+	* doc/ProofGeneral.texi:
+	Update magic, move version history to appendix.
+
+	* html/doc.html:
+	Add links to Emacs manuals.
+
+	* html/links.html: Fix link to ETI
+
+	* etc/release-log.txt, etc/announce:
+	Update towards 3.4
+
+	* CHANGES, BUGS:
+	Mention known probs in prerel
+
+2002-07-17  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-script.el:
+	Add note about proof-generic-state-preserving-p
+
+	* html/features.html:
+	Improve feature list.
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* html/news.html, html/develdownload.php, todo:
+	Updates
+
+	* CHANGES: Mention term highlighting
+
+	* isa/isa.el:
+	Support subterm help facility (not quite working)
+
+	* isar/isar.el:
+	Support subterm help facility
+
+	* isa/todo, phox/README, coq/README, coq/todo, isar/todo:
+	Update versions/TODO
+
+	* generic/pg-goals.el:
+	Added subterm help popup facility
+
+	* generic/span-extent.el:
+	Add span-string.
+
+	* generic/proof-shell.el:
+	Add proof-shell-invisible-cmd-get-result
+
+	* generic/proof-config.el:
+	Add pg-subterm-help-cmd
+
+	* generic/proof-script.el: Cleanups
+
+	* generic/span-overlay.el:
+	Fix span-string, span-object
+
+2002-07-16  David Aspinall  <da@proofgeneral.org>
+
+	* lego/lego.el, lego/lego-syntax.el, phox/phox.el, plastic/plastic.el, isa/isa.el, isar/isar.el, generic/proof-syntax.el, generic/proof-utils.el, generic/proof-compat.el, generic/proof-config.el, generic/proof-shell.el, etc/lego/pbp.l, generic/pg-goals.el, generic/pg-response.el, generic/pg-user.el, doc/ProofGeneral.texi, demoisa/demoisa.el, doc/PG-adapting.texi, coq/coq.el:
+	Refactor several variable names; clean up, doc subterm markup and output display.
+
+	* isa/isabelle-system.el: Fix typo.
+
+	* isa/isabelle-system.el:
+	Add conversion of idmarkup to subterm
+
 2002-07-17  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: