From 3e55bb8a6631a26c98ef96973e5fc60fec6247b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 18:12:27 +0000
Subject: Attribute LFCS on front page

---
 html/main.phtml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index b08b0d2d..cf75aeb0 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -10,10 +10,13 @@
 <!-- <h2><a name="what">What is Proof General?</a></h2> -->
 <p>
 <b>Proof General</b> is a generic interface for proof assistants, 
-based on Emacs.
+based on Emacs.<br>
+It has been developed at the
+<a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a>
+in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
 </p>
 <p>
-It 
+Proof General 
 works best under 
 <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with 
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
-- 
cgit v1.2.3