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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
<?php
require('functions.php3');
small_header("Previous Releases of Proof General");
?>
<p>
Please note that we do not support these old releases in any way.
</p>
<h2>Proof General Version 3.1, released 23rd March 2000</h2>
<p>
This version of Proof General has been tested
with XEmacs 21.1 and FSF Emacs 20.4.
It supports Coq version 6.3, LEGO version 1.3.1 and
Isabelle99.
</p>
<ul>
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-3.1.tar.gz") ?>
<br>or zip file:
<?php download_link("ProofGeneral-3.1.zip") ?>,
</li>
<li> RPM package:
<?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
<br>
The
<?php download_link("ProofGeneral-3.1-1.src.rpm",
"source RPM") ?>.
</li>
</ul>
<p>
Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
for a summary of changes since version 3.0.
</p>
<h2>Proof General Version 3.0, released 26th November 1999</h2>
<p>
This version of Proof General has been tested
with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br>
It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.
</p>
<ul>
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-3.0.tar.gz") ?>
</li>
<li> Linux RPM package:
<?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
<br>
The source RPM is
<?php download_link("ProofGeneral-3.0-1.noarch.rpm","here") ?>.
</li>
</ul>
<p>
Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
for a summary of changes since version 2.1.
</p>
<h2>Proof General Version 2.1, released 24th August 1999</h2>
<p>
This version of Proof General has been tested
with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br>
It supports Coq version 6.3, LEGO version 1.3.1 and
some pre-release versions of Isabelle version 99.
<ul>
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-2.1.tar.gz") ?>
</li>
<li> Linux RPM package:
<?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?>
<br>
The source RPM is
<?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>.
</li>
</ul>
<p>
Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
for a summary of changes since version 2.0.
</p>
<h2>Proof General Version 2.0, released 16th December 1998</h2>
<p>
This version of Proof General has been tested
with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br>
It supports Coq version 6.2, LEGO version 1.3.1, and
Isabelle version 98-1.<br>
</p>
<ul>
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-2.0.tar.gz") ?>
</li>
<li> Linux RPM package:
<?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?>
<br>
The source RPM is
<?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>.
</li>
</ul>
<?php
click_to_go_back();
footer();
?>
|
