From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/devel.phtml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'html/devel.phtml')

diff --git a/html/devel.phtml b/html/devel.phtml
index 1d2f101e..ebdda1d0 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -6,6 +6,12 @@ We welcome code contributions, suggestions, and bug reports, from all
 users and hackers!
 </p>
 
+<ul>
+<li>
+Read about ideas for the <a href="kit.html">Proof General Kit</a>
+here.
+</li>
+</ul>
 <ul>
 <li>
 Download the latest <a href="develdownload.phtml">development release: 
@@ -34,12 +40,6 @@ access the real CVS repository,
 </ul>
 <ul>
 <li>
-Read a draft of the white paper on the <b><i>Proof General Kit</i></b>,
-see <a href="/home/da/drafts/#white">here</a>.
-</li>
-</ul>
-<ul>
-<li>
 Get involved!
 Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
 </li>
-- 
cgit v1.2.3