diff options
| author | David Aspinall | 2000-09-13 15:48:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:48:53 +0000 |
| commit | 79db0c8ddf3fd96198a604213f8c684b1cbeca7c (patch) | |
| tree | 0734052e5c2978001a383d834244cc920703827d /html/doc.phtml | |
| parent | 10476652cf2775ff7875eb7d89d936f4ded0bd23 (diff) | |
Minor changes and improvements
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index bb0de678..f771b5a5 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -24,7 +24,6 @@ announcements by joining our <a href="mailinglist.phtml">mailing list</a>. </p> -<hr> <h2>References</h2> <p> Ideas for the future of Proof General are given here: |