diff options
Diffstat (limited to 'html/features.phtml')
| -rw-r--r-- | html/features.phtml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/html/features.phtml b/html/features.phtml index 63426bf6..c2c6dc89 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -1,5 +1,3 @@ -<!-- <h2><a name="why">Why should I use Proof General?</a></h2> --> - <p> It doesn't matter if you're an Emacs militant or a pacifist! </p> |