blob: 374526e79afdced369d67c2a77d9f814c74aebb2 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
<h2>News about Proof General</h2>
<ul>
<li><b>11th December 2003</b>
<p>
Please <b>update your links!</b>. The server <tt>zermelo.dcs.ed.ac.uk</tt>
hosting Proof General for the last 5 years has now been retired.
Moroever, the Proof General .org domain has been poached from us.
</p>
<p>
Please refer to the web site using the URL
<b><a href="http://proofgeneral.inf.ed.ac.uk">proofgeneral.inf.ed.ac.uk</a></b>
and do not send any email to the old .org addresses (contact
David Aspinall directly). Also, beware that the old addresses are built
into the help function of Proof General and the bug reporting commands.
Please download the upcoming pre-release (available from Dec 15th)
which has offending addresses removed.
</p>
</li>
<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>
</li>
<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:da+pg-support@inf.ed.ac.uk"><tt>da+pg-support@inf.ed.ac.uk</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>
</li>
</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>
|
