diff options
| -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> |