blob: 1a420a7c066a7ca6c4b327c891ac5b67bd1e0a7a (
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
|
<h2>News about Proof General</h2>
<ul>
<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>
<li><b>19th June 2002</b>
<p>
We plan to release version <b>3.4</b> of Proof General
in August. This update will have several significant
improvements
(notably to the synchronization support for Coq), and also includes
fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x)
and various proof assistants.
<br>
<b>Please, please, please</b> do test some <a
href="develdownload.html">development releases</a> for us in the
meantime and <a href="feedback">report any difficulties</a>,
to help make the next release of Proof General as
robust as possible. Thanks!
</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>
|
