diff options
| author | David Aspinall | 2000-10-02 17:58:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 17:58:26 +0000 |
| commit | 2499cce984c20e3b2528d4a7268c0f682144fd3b (patch) | |
| tree | 6ea50d7d5fbbe8a34862dfdeadf8174f8757b87f /html/news.html | |
| parent | 5aee4db6ca99446a0c47368e10dac765fc574a74 (diff) | |
Updated web pages for 3.2 release
Diffstat (limited to 'html/news.html')
| -rw-r--r-- | html/news.html | 43 |
1 files changed, 2 insertions, 41 deletions
diff --git a/html/news.html b/html/news.html index ad738bd7..49c9e677 100644 --- a/html/news.html +++ b/html/news.html @@ -2,49 +2,10 @@ <ul> -<li><b>25th Sep 2000</b> +<li><b>2nd October 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.html">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). +Proof General 3.2 is released today. Happy proving! </p> -<li><b>14th Sep 2000</b> -<p> -Improvements to web pages. Graphics made smaller, text more concise. -Please <?php hlink("feedback.html","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.html">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 --> |