diff options
| author | David Aspinall | 2000-05-05 15:08:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 15:08:47 +0000 |
| commit | 5072d1df3c6b5a63456e2da6d7b659b397cb48e4 (patch) | |
| tree | 17e974f8fd196364ca28c0863b29fb935615583f /html | |
| parent | fe6aea4a33a0dcb68304e0cd6c07d1962c5861a9 (diff) | |
Hot news about FAQ.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 01e41eb3..c4497450 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,6 +6,12 @@ </p> <ul> +<li><b>5th May 2000</b> +<p> +New! Proof General <a href="ProofGeneral/FAQ">FAQ</a>. +Please send questions or suggestions for inclusion to +<a href="mailto:proofgen@dcs.ed.ac.uk>proofgen@dcs.ed.ac.uk</a>, +thanks. <li><b>28th April 2000</b> <p> A minor patch to Proof General 3.1 is released today. To check what |