From df219a89cbc33d7a632b3c95b3136b3e0840f9d5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Mar 2000 08:36:50 +0000
Subject: Added note to register here

---
 html/develdownload.phtml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'html')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index 59d05a90..240142c6 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -15,6 +15,9 @@ experiment with them.  Nonetheless, we welcome bug reports.  But
 please make sure you are using the latest pre-release before
 reporting problems.
 </p>
+<p>
+Please <a href="register.phtml">register</a> if you haven't done so already.
+</p>
 
 <!-- WARNING!  Line below automatically edited by makefile. -->
 <h2><a name="prerel">Pre-release: ProofGeneral-3.1pre000309</a></h2>
-- 
cgit v1.2.3