blob: 774c03595db024432b019910616d9095ea9e7674 (
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
|
<h2>News about Proof General</h2>
<ul>
<li><b>29th August 2002</b>
<p>
<i>Proof General 3.4 is released. Happy Proving!</i>
<br>
Go to the <a href="download">download page</a> to get it.
<br>
Please report any problems to <a href="mailto:support@proofgeneral.org"><tt>support@proofgeneral.org</tt></a>.
</p>
<li><b>1st July 2002</b>
<p>
Good news! The license conditions for Proof General will shortly be
changed to the <a href="http://www.gnu.org/copyleft/gpl.html">GPL</a>.
This relaxes the current conditions in several ways, in particular,
allowing packaging and distribution of the code by others.
</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>
<i>Click <a href="oldnews.html">here</a> for old news.</i>
|
