From 1aea7fca0334e89fbcf69cc7477589e4118b3ebe Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 19 Mar 2000 06:40:30 +0000 Subject: Improved links, new project on ACS. --- html/register.phtml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'html/register.phtml') diff --git a/html/register.phtml b/html/register.phtml index be72cea4..c06142c6 100644 --- a/html/register.phtml +++ b/html/register.phtml @@ -33,7 +33,7 @@ provide a case for support for Proof General in the future.

If you have already registered you do not need to fill in the form -again, so return to +again, so return to

Registration Form

@@ -99,6 +99,9 @@ again, so return to } print "

\n

"; + print "

\nClick "; + link_root("download#prereq","here"); + print " to return to the download page.

\n"; click_to_go_back(); footer(); -- cgit v1.2.3