aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog7
1 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index afed685c..6b0a3b74 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
2002-03-22 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.
+
+2002-03-22 David Aspinall <da@proofgeneral.org>
+
* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
Set version tag for new release.