blob: 1fa92de5ce3fc442ef9e108625c6e6873d36759d (
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
43
44
45
46
|
<h2>News about Proof General</h2>
<ul>
<li><b>25th September 2003</b>
<p>
There is a new <a href="develdownload">development</a> version of
Proof General released today. There are some minor fixes, and an
updated version of X-Symbol bundled. Please test it and let me know
how you get on. It would be nice to release the final version 3.5 at
last.
</p>
The <a href="kit">Proof General Kit</a> page has been
updated to mention current development efforts.
</p>
<p>
Anonymous access to the Proof General CVS repository is now available!
Details are <a href="devel">here</a>.
</p>
<p>
Please <b>update your links!<b>. The server <tt>zermelo.dcs.ed.ac.uk</tt>
hosting Proof General for the last 5 years will be retired soon.
Please refer to the web site using the URL
<b><a href="http://www.proofgeneral.org>www.proofgeneral.org</a></b>.
</p>
<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://homepages.inf.ed.ac.uk/da">David Aspinall</a> -->
<!-- unless noted.)</i> -->
<i>News items by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.</i>
<i>Click <a href="oldnews.html">here</a> for old news.</i>
|
