blob: e7f80cb6852de20fe7bf4267d8c117257a59d0e8 (
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
|
<h2>News about Proof General</h2>
<ul>
<li><b>11th December 2001</b>
<p>
The current <a href="develdownload.html">development release</a> takes
advantage of the new fancy features available in GNU Emacs 21, to add
toolbar support and other features there. As usual, maintaining the
code to work with both Emacs versions is quite troublesome, so bug
reports and patches from users are very welcome.
</p>
</li>
<li><b>10th September 2001</b>
<p>
<a href="download">Proof General 3.3</a> is released, with
<?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to
increase your proof script editing efficiency. Happy proving!
</p>
</li>
</ul>
<!-- 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>
|
