diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:59:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:59:03 +0000 |
| commit | ef92ca36c2390a7779766ab0fa65bbee6ca5d9f9 (patch) | |
| tree | f10fb1c416a021d2b78bc34901b98cb5dea73ba2 | |
| parent | 3d4421463bb8240b84f0ceae5a27a749f092064a (diff) | |
Cleaned old lines
| -rw-r--r-- | html/main.phtml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/html/main.phtml b/html/main.phtml index c944662c..79e46e4f 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -1,14 +1,3 @@ -<!-- <?php print $separator; ?> --> -<!-- <a href="#what">What</a> --> -<!-- <?php print $separator; ?> --> -<!-- <a href="#why">Why</a> --> -<!-- <?php print $separator; ?> --> -<!-- <a href="#about">About</a> --> -<!-- </br> --> - - -<!-- <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.<br> |