diff options
author | 2000-03-10 08:36:50 +0000 | |
---|---|---|
committer | 2000-03-10 08:36:50 +0000 | |
commit | df219a89cbc33d7a632b3c95b3136b3e0840f9d5 (patch) | |
tree | 4ad94a301675e778307f64456d7a4895868ec480 /html/develdownload.phtml | |
parent | ca521fd2d4b6162744ecfb0729d8dbbcd395b420 (diff) |
Added note to register here
Diffstat (limited to 'html/develdownload.phtml')
-rw-r--r-- | html/develdownload.phtml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |