From f062860e947077dbc508bb9c7b35e0c4490b71e8 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 1 Dec 2000 16:21:15 +0000
Subject: Updated.

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

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index d867b87e..1685ab56 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,24 @@
+2000-12-01  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec:
+	Change info globs to work with mandrake
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* doc/ProofGeneral.texi, doc/PG-adapting.texi:
+	3.2 -> 3.3pre
+
+2000-12-01  Christophe Raffalli  <Christophe.Raffalli@univ-savoie.fr>
+
+	* af2/af2-font.el, af2/af2-fun.el:
+	add rewrite list
+
+	* af2/af2.el, af2/af2-font.el, af2/af2-fun.el:
+	*** empty log message ***
+
 2000-12-01  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
-- 
cgit v1.2.3