blob: 931fb7770b823cd1968a7e0a26dc4ff8d4404387 (
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
28
29
30
31
32
33
|
<h2>News about Proof General</h2>
<ul>
<li><b>8th May 2001</b>
<p>
Proof General has had a few quiet improvements since October, which
appear in the current
<a href="develdownload.html">development release</a>.
This version also has some compatibility fixes
for the recent releases of Emacs (20.7) and XEmacs (21.4).
<br>
Emacs Lisp and the Emacsen libraries has to be one of the
worst moving target platforms to develop an application on.
Please test out this version let us know of any problems.
Once things are looking good, we'll release PG 3.3
<li><b>2nd October 2000</b>
<p>
Proof General 3.2 is released today. Happy proving!
</p>
</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>
|
