From 62e4edf553cf63d42061179493d06cf9f4f1283d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Feb 2000 10:23:59 +0000
Subject: Add link to white paper.

---
 html/devel.phtml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'html/devel.phtml')

diff --git a/html/devel.phtml b/html/devel.phtml
index a0b1be39..44a34f71 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -13,7 +13,8 @@ Download the current <a href="develdownload.phtml">development release</a>
 </ul>
 <ul>
 <li>
-Read the Proof General white paper (available soon)
+Read a draft of the white paper on the Proof General Kit,
+see <a href="/home/da/drafts/#white">here</a>.
 </li>
 </ul>
 <ul>
-- 
cgit v1.2.3