From 11b26704cbb61fd92f6dd242e7fd3c65f6fc8d8b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 18:16:06 +0000
Subject: Fixed bug

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

(limited to 'html/functions.php3')

diff --git a/html/functions.php3 b/html/functions.php3
index 65e9b155..efa23165 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -16,8 +16,9 @@
 
 $project_email = "proofgen@dcs.ed.ac.uk";
 $project_list  = "proofgeneral@dcs.ed.ac.uk";
-$project_title = "Proof General"
+$project_title = "Proof General";
 $project_subtitle = "Organize your Proofs!";
+$project_full_title = $project_title . " --- " . $project_subtitle;
 
 // DTD 
 
-- 
cgit v1.2.3