From 5514f899815b1f6489d441122bf48b8b2213d0c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 11 Nov 2002 01:50:34 +0000
Subject: Updated.

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

diff --git a/ChangeLog b/ChangeLog
index 99926f11..7d337cd8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,25 @@
+2002-11-11  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/devel.html, html/develdownload.php, generic/proof-site.el:
+	Set version tag for new release.
+
+	* BUGS: Updated.
+
+	* generic/proof-shell.el:
+	(Failed) Attempt to fix UTF-8 problem for RH8.
+
+	* BUGS: Updated.
+
+2002-11-08  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* isa/isa.el, isar/isar.el:
+	Add trigger for <pgip messages
+
 2002-11-08  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
-- 
cgit v1.2.3