diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 18:12:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-30 18:12:27 +0000 |
| commit | 3e55bb8a6631a26c98ef96973e5fc60fec6247b3 (patch) | |
| tree | eba2c068ff1aee30a2e21ab611670c68ce116156 | |
| parent | 0b75954e853c705fd33ca6464dc2d324ce62641d (diff) | |
Attribute LFCS on front page
| -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>. |