diff options
Diffstat (limited to 'html/news.html')
| -rw-r--r-- | html/news.html | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/html/news.html b/html/news.html new file mode 100644 index 00000000..f717ad77 --- /dev/null +++ b/html/news.html @@ -0,0 +1,59 @@ +<h2>News about Proof General</h2> + + +<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). +</p> +<li><b>14th Sep 2000</b> +<p> +Improvements to web pages. Graphics made smaller, text more concise. +Please <?php hlink("feedback.phtml","send me suggestions ","Feedback form")?> +for further improvements. +(I know some pages display poorly in Netscape 4.7x because +of patchy stylesheet support; they appear much better in IE5 +or the rather impressive recent versions of KDE's Konqueror). +</p> +<li><b>28th Aug 2000</b> +<p> +We're starting the testing phase for Proof General 3.2. +It has several new features and improvements. +Please try out the <a href="develdownload.phtml">pre-release</a> +version, and report any problems to us. Your +feedback is very important because we have no resources available for +serious compatibility testing ourselves. +</p> +<p> +We hope to release 3.2 by the end of September. +</p> +</li> +</ul> +<p> +<!-- da: Put this line in instead if you're not me --> +<!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> --> +<!-- unless noted.)</i> --> +<i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i> +<br> +<i>Click <a href="oldnews.phtml">here</a> for old news.</i> +</p> + + + |