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
113
114
115
116
117
118
119
120
|
<?php
require('functions.php3');
small_header("Proof General Development");
?>
<p>
Here is the latest pre-release of Proof General. It is also available
as a complete archive for developers, to test forthcoming support for
new proof assistants.
<!-- WARNING! Line below automatically edited by makefile. -->
<h2><a name="prerel">Pre-release: ProofGeneral-3.0pre991116</a></h2>
<!-- End Warning. -->
<p>
This pre-release of Proof General may be buggy as new
features are added and experimented with.
<br>
Check the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.0pre991116/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version, and
the planned changes to come.
<br>
Please test with the current pre-release before reporting any problems
in a pre-release.
</p>
<ul>
<!-- WARNING! Lines below automatically edited by makefile. -->
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-3.0pre991116.tar.gz") ?>
</li>
<li> Linux RPM package
<?php download_link("ProofGeneral-3.0pre991116-1.noarch.rpm") ?>
<br>
The source RPM is
<?php download_link("ProofGeneral-3.0pre991116-1.src.rpm","here") ?>.
</li>
<!-- End Warning. -->
</ul>
<hr>
<h2><a name="devel">Complete Archive of ProofGeneral-3.0pre991116</a></h2>
<p>
If you are interested in helping to develop the core of Proof General,
we provide a complete archive of <i>all</i> the sources used to build the
current Proof General pre-release. The difference from the working
version distribution above is that we include:
</p>
<ul>
<li> provisional instantiations of Proof General to new provers <br>
(mentioned in the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.0pre991116/CHANGES","CHANGES"); ?> file),
<!-- End Warning. -->
</li>
<li> the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.0pre991116/todo","low-level list of things to do"); ?>
<!-- End Warning. -->
and the detailed
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.0pre991116/ChangeLog","ChangeLog"); ?>,
<!-- End Warning. -->
</li>
<li> developer's Makefile used to generate documentation files <br>
and the release itself from our CVS repository, </li>
<li> some test files, </li>
<li> sources for some of the images,
<li> the web pages.
</ul>
<p>
Note: there are no pre-built documentation files in the developer's
release, because developers should have the right tools!
</p>
<ul>
<li> gzip'ed tar file:
<!-- WARNING! Line below automatically edited by makefile. -->
<?php download_link("ProofGeneral-3.0pre991116-devel.tar.gz") ?>
<!-- End Warning. -->
</li>
</ul>
<p>
You probably <em>don't</em> need to download this if you're only
interested in hacking the Emacs lisp part of the program for
a prover that is currently supported. But you may
still like to check the latest
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.0pre991116/todo","low-level to-do list"); ?>.
<!-- End Warning. -->
</p>
<p>
We have a mailing list for developers, at
<a href="mailto:proofgeneral-devel@dcs.ed.ac.uk">
<tt>proofgeneral-devel@dcs.ed.ac.uk</tt></a>.
<br>
To subscribe (or unsubscribe), send a message to
<a href="mailto:majordomo@dcs.ed.ac.uk">
<tt>majordomo@dcs.ed.ac.uk</tt>
</a>
with the words "<tt>subscribe proofgeneral-devel</tt>"
(or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body.
</p>
<p>
If you are interested in developing the core of Proof General,
we can make our CVS repository accessible to you. Please
<a href="feedback.phtml">ask</a>.
</p>
<?php
click_to_go_back();
footer();
?>
|
