diff options
author | 2000-05-05 17:02:52 +0000 | |
---|---|---|
committer | 2000-05-05 17:02:52 +0000 | |
commit | b6abfcd691b4955af1e6810aad549cee6344deda (patch) | |
tree | 74eb2fb0025b145fd0c1b18254a9070577b457e2 /html | |
parent | ba8ca7afa13c1270ff9268c5bb043fb71caedd11 (diff) |
Buglet in html
Diffstat (limited to 'html')
-rw-r--r-- | html/news.phtml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index c4497450..4a7b6094 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -8,9 +8,10 @@ <ul> <li><b>5th May 2000</b> <p> -New! Proof General <a href="ProofGeneral/FAQ">FAQ</a>. +New! +Proof General <?php fileshow("ProofGeneral/FAQ", "FAQ");?>. Please send questions or suggestions for inclusion to -<a href="mailto:proofgen@dcs.ed.ac.uk>proofgen@dcs.ed.ac.uk</a>, +<a href="mailto:proofgen@dcs.ed.ac.uk">proofgen@dcs.ed.ac.uk</a>, thanks. <li><b>28th April 2000</b> <p> |