blob: b96962bc395918726dd4b38396eb185685c762e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<h2>News about Proof General</h2>
<ul>
<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>
</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>
|
