From 3e60d63cf9ff187ac186238c867e1d3f48154d00 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Oct 2000 17:15:53 +0000
Subject: Updated.

---
 ChangeLog | 96 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 96 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 995a36bb..71a4d366 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,99 @@
+2000-10-03  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* html/download.html:
+	Apparently X-Sym web pages have simpler install instructions now.
+
+2000-10-02  Markus Wenzel  <wenzelm@informatik.tu-muenchen.de>
+
+	* isa/isabelle-system.el:
+	added settings: eta-contract, goals-limit, prems-limit;
+
+2000-10-02  David Aspinall  <da@proofgeneral.org>
+
+	* etc/announce:
+	Removed link to CHANGES, its buggy
+
+	* ChangeLog: Updated.
+
+	* todo: Updated
+
+	* ChangeLog:
+	Remove more duplicate entries.
+
+	* etc/release-log.txt: 3-2-1 pending
+
+	* Makefile.devel:
+	Warning about duplicate ChangeLog entries
+
+	* Makefile.devel:
+	Tweak to ChangeLog production
+
+	* ChangeLog: Remove duplicate entries.
+
+	* ChangeLog: Updated.
+
+	* etc/announce:
+	Mention Isabelle99-1 change
+
+	* etc/ProofGeneral.spec, generic/proof-site.el:
+	Set version tag for new release.
+
+	* CHANGES:
+	Whoops, left pre-release header in
+
+	* etc/release-log.txt:
+	Upcoming patch anticipated already.
+
+	* doc/Makefile.doc: Fix recursive make
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.html:
+	Set version tag for new release.
+
+	* html/develdownload.html:
+	Note about current pre-release being outdated wrt 3.2
+
+	* ChangeLog: Updated.
+
+	* todo: Updated
+
+	* Makefile.devel:
+	Remove ps and pdf for PG-adapting from distrib to redue size to normal proportions.
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el:
+	Set version tag for new release.
+
+	* etc/release-log.txt:
+	Add todays date, 3.2
+
+	* html/doc.html, html/download.html, html/index.html, html/news.html, html/oldnews.html:
+	Updated web pages for 3.2 release
+
+	* todo: Updated, cleaned up
+
+	* coq/coqtags, lego/legotags:
+	Note about alternative path to perl
+
+	* doc/PG-adapting.texi: Updated magic
+
+	* INSTALL: Caveats about using elcs.
+
+	* af2/README: New file
+
+	* bin/proofgeneral:
+	Pass extra args to emacs.
+
+	* doc/Makefile.doc:
+	Attempt to force image build
+
+	* doc/PG-adapting.texi: Subtitle caps
+
 2000-10-02  David Aspinall  <da@proofgeneral.org>
 
 	* todo: Updated
-- 
cgit v1.2.3