diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:55:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:55:45 +0000 |
| commit | 0fefcec851aee109dc3ebb41f59562b2ffb206a0 (patch) | |
| tree | e944813b23134000a2a254991071d25f7ef8a950 /html | |
| parent | fca0bbc3f8058830e80d49b3743f6684cef16374 (diff) | |
Forthcoming news item
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index f198808e..214fd57b 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -2,6 +2,26 @@ <ul> +<li><b>25th Sep 2000</b> +<p> +Final week of testing for Proof General 3.2. +The last chance to report bugs or request (minor) improvements for this release. +Please help us by trying out the +<a href="develdownload.phtml">pre-release</a>, especially if you are +relying on an older or non-standard Emacs version. +Also check to see if the new +manuals are useful: now split into +the user manual in +<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>, +<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> +or +<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>, +and the separate "adapting" manual, in +<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>, +<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> +or +<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>. +(Info files are included in the distribution). <li><b>14th Sep 2000</b> <p> Improvements to web pages. Graphics made smaller, text more concise. |