diff options
| author | David Aspinall | 2000-05-05 17:04:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 17:04:06 +0000 |
| commit | b1be674c8dd5511953758155366de4a0aabfaeb7 (patch) | |
| tree | 74f6840112515f2a9b3a982051fc9c3be3370c67 /html | |
| parent | b6abfcd691b4955af1e6810aad549cee6344deda (diff) | |
Missing para
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 4a7b6094..3a7994bf 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -13,6 +13,7 @@ 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>, thanks. +</p> <li><b>28th April 2000</b> <p> A minor patch to Proof General 3.1 is released today. To check what |