blob: 279b9fbdad820c3853967ddf6a0e0f1d09e7ba9e (
plain)
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
|
<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>
</p>
<ul>
<li><b>28th Aug 2000</b>
<p>
Testing phase for Proof General 3.2. Please try out the
<a href="develdownload.phtml">pre-release</a>
version of Proof General, 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>
<i>Click <a href="oldnews.phtml">here</a> for old news.</i>
</p>
|
