From 3d4421463bb8240b84f0ceae5a27a749f092064a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 10:58:26 +0000
Subject: Added link to CHANGES on this page

---
 html/devel.phtml | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/devel.phtml b/html/devel.phtml
index 1558aa82..39b1bad8 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -12,12 +12,18 @@ Download the latest <a href="develdownload.phtml">development release:
  <b>ProofGeneral-3.1pre000308</b></a>
 <!-- end WARNING -->
  <br>
- (please <a href="register.phtml">register</a> if you haven't already).
+Check the 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<?php fileshow("ProofGeneral-3.1pre000301/CHANGES","CHANGES"); ?> file
+<!-- End Warning. -->
+for a summary of changes since the last stable version.
+<br>
+(please <a href="register.phtml">register</a> if you haven't already).
 </li>
 </ul>
 <ul>
 <li>
-Read a draft of the white paper on the Proof General Kit,
+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>
@@ -36,6 +42,12 @@ with development hints and tips.
 </ul>
 <ul>
 <li>
+Read the brief list of planned 
+<?php fileshow("ProofGeneral-3.1pre000301/TODO","things to do "); ?> 
+for Proof General.
+</ul>
+<ul>
+<li>
 See our current low-level lists of things to do, for the
 <!-- WARNING!  Lines below automatically edited by makefile. -->
    <?php fileshow("ProofGeneral-3.1pre000308/todo","generic base"); ?>, 
-- 
cgit v1.2.3