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
|
<?php
require('functions.php3');
small_header("Proof General Development");
?>
<p>
Here is the latest pre-release of Proof General. For developers,
it is also available as a complete archive, including
forthcoming support for more proof assistants.
</p>
<p>
Pre-releases of Proof General may be buggy as we add new features and
experiment with them. Nonetheless, we welcome bug reports. But
please make sure you are using the current pre-release before
reporting problems.
</p>
<!-- WARNING! Line below automatically edited by makefile. -->
<h2><a name="prerel">Pre-release: ProofGeneral-3.1pre991216</a></h2>
<!-- End Warning. -->
<p>
Check the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.1pre991216/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version, and
the planned changes to come.
</p>
<ul>
<!-- WARNING! Lines below automatically edited by makefile. -->
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-3.1pre991216.tar.gz") ?>
</li>
<li> Linux RPM package
<?php download_link("ProofGeneral-3.1pre991216-1.noarch.rpm") ?>
<br>
You probably don't need the
<?php download_link("ProofGeneral-3.1pre991216-1.src.rpm","source RPM") ?>.
</li>
<!-- End Warning. -->
</ul>
<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre991216</a></h2>
<p>
This archive is a snapshot from our CVS repository.
</p>
<ul>
<li> gzip'ed tar file:
<!-- WARNING! Line below automatically edited by makefile. -->
<?php download_link("ProofGeneral-3.1pre991216-devel.tar.gz") ?>
<!-- End Warning. -->
</li>
</ul>
<p>
What's the difference from the working version above?
The complete archive also includes:
</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.1pre991216/CHANGES","CHANGES"); ?> file),
<!-- End Warning. -->
</li>
<li> the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.1pre991216/todo","low-level list of things to do"); ?>
<!-- End Warning. -->
and the detailed
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.1pre991216/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>
<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.1pre991216/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();
?>
|