From 525a910eafd490cab3336cbc41fb01ffc921bef8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 16:04:41 +0000
Subject: Added pg_title variable

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

(limited to 'html/functions.php3')

diff --git a/html/functions.php3 b/html/functions.php3
index abba6128..5a86984c 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -13,6 +13,8 @@
 $pg_email = "proofgen@dcs.ed.ac.uk";
 $pg_list = "proofgeneral@dcs.ed.ac.uk";
 
+$pg_title = "Proof General --- Organize your Proofs!";
+
 function mlink($addr) {
   print "<a href=\"mailto:" . $addr . "\">" . $addr . "</a>";
 }
-- 
cgit v1.2.3