blob: 5d0c1d28db628f0765821fbf8dec24d69987ab39 (
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
34
35
36
37
38
39
40
41
42
43
|
<h2>News about Proof General</h2>
<ul>
<li><b>1st August 2001</b>
<p>
The past few months have seen a few more improvements and
bug fixes to Proof General: many thanks to those who have
sent us <a href="feedback.html">useful feedback</a>.
It's time that we made a proper release, so please try
out the <a href="develdownload.html">development release</a>
and help us iron out as many more problems as we can.
<br>
Emacs Lisp and the Emacsen libraries has to be one of the
worst moving target platforms to develop an application on,
so please help us! Once things are looking good, we'll
release PG 3.3.
</p>
<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).
</p>
<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>
|
