1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
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.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).
</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 -->
<!-- <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.html">here</a> for old news.</i>
</p>
|
