From 01df0ab7508ac84dd8b80aaaa40b82cb2a82c3cc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Mar 2000 11:24:14 +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 4598524f..d79b9b58 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