diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 13:04:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 13:04:43 +0000 |
| commit | 061347349e4495e663b08e2b1631a83ab5b1c1e7 (patch) | |
| tree | 8ae371504625d912e0eb6f63da5d1a844468edb6 /html | |
| parent | 11f73cf7cca35e0783176e4c6ffb0c774557023f (diff) | |
Join paras
Diffstat (limited to 'html')
| -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 |