From a377479a7228bc45f065cd10fe69aec51dc5ce5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:05 +0000
Subject: Updates
---
html/devel.phtml | 49 ++++++++++++++++++++++++++-----------------------
1 file changed, 26 insertions(+), 23 deletions(-)
(limited to 'html/devel.phtml')
diff --git a/html/devel.phtml b/html/devel.phtml
index a2283de2..45fb2d87 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -1,3 +1,4 @@
+Development Information
Proof General follows an open development method.
@@ -9,12 +10,12 @@ users and hackers!
Download the latest development release:
- ProofGeneral-3.2pre000913
+ ProofGeneral-3.2pre000912
Check the
- file
+ file
for a summary of changes since the last stable version.
@@ -22,10 +23,12 @@ for a summary of changes since the last stable version.
-
Browse a mirror of the Proof General CVS repository.
-Note: this mirror is updated nightly, so it may not be
-exactly up-to-date with the latest versions.
-If you'd like to be an official developer and
-want full access to the real CVS repository,
+Note: this mirror is updated nightly, so it may be
+slightly out of date.
+
+-
+If you want to be an "official" developer and
+access the real CVS repository,
ask here.
@@ -45,14 +48,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.
@@ -60,29 +63,29 @@ for Proof General.
See our current low-level lists of things to do,
for the
- ,
+ ,
and for each prover:
- ,
- ,
- ,
- ,
- .
+ ,
+ ,
+ ,
+ ,
+ .
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+