diff options
| -rw-r--r-- | html/main.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/html/main.html b/html/main.html index ec891cf3..eaea379d 100644 --- a/html/main.html +++ b/html/main.html @@ -5,8 +5,6 @@ currently based on Emacs. It has been developed at the <a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a> in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>. -</p> -<p> Proof General works best under <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with |