diff options
Diffstat (limited to 'html/main.phtml')
-rw-r--r-- | html/main.phtml | 7 |
1 files changed, 5 insertions, 2 deletions
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>. |