Updated.

1 files changed, 141 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 2e1e548d..973bf66a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,144 @@
+2002-08-08  David Aspinall  <da@proofgeneral.org>
+
+	* doc/PG-adapting.texi: Fix markup
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* README.exper: Doc
+
+	* isa/isa.el:
+	Simplify theorem dep / Isabelle patch loading
+
+	* Makefile.devel: bugs file ignored
+
+	* generic/proof-depends.el:
+	Fix dep highlighting for Emacs 21 by setting priorities.
+
+	* README.exper: More docs for deps.
+
+	* generic/proof-config.el:
+	Enable exper features for pre-releases automatically.
+
+	* generic/pg-user.el:
+	Add span context menu support for Emacs21.
+
+	* README.exper: New files.
+
+	* CHANGES: Updated.
+
+	* html/develdownload.php, html/doc.html:
+	Typos/fixes.
+
+	* lclam/lclam.el, isa/thy-mode.el:
+	Remove proof-shared-menu.
+
+	* todo, BUGS, CHANGES, INSTALL, README:
+	Updates
+
+	* generic/proof-autoloads.el, generic/proof-depends.el:
+	Fix autoload for context menu; add proof-shell-show-dependency-cmd.
+
+	* generic/proof-script.el:
+	Prevent proof spans being duplicated.
+
+	* generic/proof-site.el: Docstring
+
+	* isa/isa.el:
+	Set proof-shell-show-dependency-cmd
+
+	* isa/depends.ML:
+	Updated for Isabelle2002.
+
+	* generic/pg-user.el:
+	Fix condition for displaying dependency menu
+
+	* generic/proof-config.el:
+	Tweak menu; add proof-shell-show-dependency-cmd
+
+	* generic/proof-autoloads.el: Updated
+
+	* doc/PG-adapting.texi, doc/ProofGeneral.texi:
+	Fix email addresses; tweaks.
+
+	* bugs: New files.
+
+	* generic/proof-utils.el, generic/proof-menu.el:
+	Allow favourite saving when user wants.
+
+	* README.windows: Deleted file
+
+	* doc/ProofGeneral.texi: Trivial.
+
+	* generic/proof-script.el:
+	Use glyph for hidden proofs; add open isearch props; tweak element handling fns.
+
+	* Makefile.devel: Add lclam
+
+	* images/hiddenproof.xpm, images/hiddenproof.xcf:
+	New files.
+
+	* isar/isar.el, generic/proof-splash.el, isa/isa.el:
+	proof-splash-display-image -> proof-get-image; generalise for xpm images.
+
+	* generic/proof-site.el:
+	Added lclam proof site entry
+
+2002-08-07  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-config.el: Fix docs
+
+	* doc/PG-adapting.texi, doc/ProofGeneral.texi:
+	Doc proof-shell-strip-crs-from-output; update magic
+
+	* ChangeLog: Updated.
+
+	* doc/ProofGeneral.texi:
+	Rename proof-dont-switch-windows -> proof-three-window-mode
+
+	* generic/proof-menu.el:
+	Fix proof-quick-opts-save.  Rename proof-dont-switch-windows -> proof-three-window-mode.
+
+	* generic/proof-utils.el, generic/proof-config.el:
+	Rename proof-dont-switch-windows -> proof-three-window-mode
+
+	* FAQ:
+	Added proof-shell-strip-crs-from-output
+
+	* generic/proof-config.el:
+	Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to cygwin32.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* generic/proof-menu.el:
+	Trace buffer opt always enabled.  Failed fix attempt for proof-quick-opts-save.
+
+	* generic/proof-compat.el, generic/proof-shell.el, generic/proof-config.el:
+	Add proof-shell-strip-crs-from-output
+
+	* generic/pg-goals.el, generic/pg-response.el, generic/proof-menu.el, generic/proof-shell.el:
+	Reorganized menus; add options save function; fix capitalization of names
+
+	* generic/proof-depends.el:
+	Add require, fix menu capitalization.
+
+	* generic/proof-config.el:
+	Menu capitalization; support email addr.
+
+	* lclam/example.lcm, lclam/lclam.el:
+	New files.
+
+	* todo: Updated.
+
+	* generic/pg-goals.el, generic/proof-config.el, generic/proof-shell.el:
+	Comments
+
+	* generic/proof-compat.el: Autoload fix
+
+	* plastic/plastic.el, plastic/plastic-syntax.el:
+	Update from PC, sent 5.8.02
+
 2002-08-07  David Aspinall  <da@proofgeneral.org>
 
 	* doc/ProofGeneral.texi: