From 670761dd6bd6321d65beeacdc81d68c0a2ebe92b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 05:14:23 +0000
Subject: Updated web pages.
---
html/devel.phtml | 25 ++++++++++++++++++++-----
1 file changed, 20 insertions(+), 5 deletions(-)
(limited to 'html/devel.phtml')
diff --git a/html/devel.phtml b/html/devel.phtml
index fa9dc1ed..75c5af17 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -46,18 +46,33 @@ for Proof General.
-
-See our current low-level lists of things to do, for the
+See our current low-level lists of things to do,
+for the
,
and for each prover:
- ,
- ,
- ,
- .
+ ,
+ ,
+ ,
+ ,
+ .
+
+
+
+
+
+
+
+
+
+
+
+
+