From c14bdd58d88cbde2a6903a87f5d0da8e0c8256f1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Mar 2002 18:03:48 +0000
Subject: Set version tag for new release.
---
html/devel.html | 38 +++++++++++++++++++-------------------
1 file changed, 19 insertions(+), 19 deletions(-)
(limited to 'html/devel.html')
diff --git a/html/devel.html b/html/devel.html
index 15a83ddb..f6c7e2f8 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -16,14 +16,14 @@ here.
Download the latest development release:
- ProofGeneral-3.4pre020321
+ ProofGeneral-3.4pre020322
or browse the development distribution.
Check the
- file
+ file
for a summary of changes since the last stable version.
@@ -50,14 +50,14 @@ Take a look at the Proof General project proposals.
Read the
developer's
-,
+,
with development hints and tips.
-
Read the brief list of planned
-
+
for Proof General.
@@ -65,29 +65,29 @@ for Proof General.
See our current low-level lists of things to do,
for the
- ,
+ ,
and for each prover:
- ,
- ,
- ,
- ,
- .
+ ,
+ ,
+ ,
+ ,
+ .
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+