blob: 9214f1ab866ebeda281bfedbbcd476588a0da4cd (
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
|
<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://www.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
</p>
<ul>
<li><b>9th February 2000</b><br>
Countdown to Proof General 3.1 begins. This will be a bug fix releaase.
A few bugs have been fixed in
recent Proof General development releases, one important one is fixing
support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu
for raising it to my attention). I would like to release PG 3.1 next
month so that everyone can benefit.
<p>
In the meantime, please
<?php hlink("feedback.phtml","report any important problems","Feedback form")?>
that you would like to see fixed, and consider trying out
the current <a href="devel.phtml">development release</a>.
<li><b>14th December 1999</b><br>
<p>
I'm pleased to say that Proof General will be demonstrated at
<a href="http://iks.cs.tu-berlin.de/etaps2000/etaps.html">ETAPS 2000</a>.
Here are some draft <a href="papers/pgtalk.pdf">slides</a> for
the presentation
(any <a href="mailto:da@dcs.ed.ac.uk">comments</a> would be welcome).
A presentation of Proof General based on these slides was given at
<a href="http://www.clrc.ac.uk/">Rutherford Appleton Laboratory</a> last week.
</p>
<li><b>26th November 1999</b><br>
<p>
Proof General 3.0 is released!
</p>
</ul>
<p>
<i>Click <a href="oldnews.phtml">here</a> for old news.</i>
</p>
|
