From 42cc4e49a2d2b73f0765536a5265a6ad473abfe6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Feb 2000 09:54:54 +0000
Subject: Set version tag for new release.
---
html/develdownload.phtml | 22 +++++++++++-----------
1 file changed, 11 insertions(+), 11 deletions(-)
(limited to 'html')
diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index 4158af8a..cd9cc908 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -17,13 +17,13 @@ reporting problems.
-
+
Check the
- file
+ file
for a summary of changes since the last stable version, and
the planned changes to come.
@@ -31,19 +31,19 @@ the planned changes to come.
- gzip'ed tar file:
-
+
- Linux RPM package
-
+
You probably don't need the
- .
+ .
-
+
@@ -52,7 +52,7 @@ This archive is a snapshot from our CVS repository.
@@ -64,16 +64,16 @@ The complete archive also includes:
provisional instantiations of Proof General to new provers
(mentioned in the
- file),
+ file),
the
-
+
and the detailed
- ,
+ ,
developer's Makefile used to generate documentation files
@@ -92,7 +92,7 @@ interested in hacking the Emacs lisp part of the program for
a prover that is currently supported. But you may
still like to check the latest
-.
+.
--
cgit v1.2.3