diff options
| author | David Aspinall | 2000-02-15 15:06:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-15 15:06:01 +0000 |
| commit | efca19bc2f6c93017e90483f4135146f395b8c40 (patch) | |
| tree | 9ee0278857e4114ca5edca7af9d1687c462c5386 /html/features.phtml | |
| parent | 46736a33a4e4844a60cb99a6b90ce1b69ced4a9b (diff) | |
New development pages added, more links
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> |