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
121
122
123
124
125
126
|
<?php
require('functions.php3');
small_header("Proof General Development Release");
?>
<p>
<a href="#prerel">Below</a> is the latest pre-release of Proof General,
made available for those who wish to test the latest features or bug
fixes. For developers, this release is also available as a
<a href="#devel">complete CVS snapshot (further below)</a>.
</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 latest pre-release before
reporting problems.
</p>
<p>
Please <a href="register.phtml">register</a> if you haven't done so already.
</p>
<!-- WARNING! Line below automatically edited by makefile. -->
<h2><a name="doc">Manual for ProofGeneral-3.2pre000712</a></h2>
<!-- End Warning. -->
<p>
The manual included with the pre-release may be
updated from that of the
<?php link_root("doc","last stable release") ?>.
</p>
<p>
You can see the current manual in
<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General Manual") ?> or download the
<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>
or the
<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
</p>
<!-- WARNING! Line below automatically edited by makefile. -->
<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000712</a></h2>
<p>
Check the
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.2pre000712/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version, and
notes about work-in-progress.
</p>
<ul>
<!-- WARNING! Lines below automatically edited by makefile. -->
<li> gzip'ed tar file:
<?php download_link("ProofGeneral-3.2pre000712.tar.gz") ?>,
<br>
or the same thing in a zip file:
<?php download_link("ProofGeneral-3.2pre000712.zip") ?>,
</li>
<li> Linux RPM package
<?php download_link("ProofGeneral-3.2pre000712-1.noarch.rpm") ?>
<br>
You probably don't need the
<?php download_link("ProofGeneral-3.2pre000712-1.src.rpm","source RPM") ?>.
</li>
<!-- End Warning. -->
</ul>
<p>
For install instructions, see
the <?php link_root("download#install","stable version download") ?>.
</p>
<p>
</p>
<p>
</p>
<!-- WARNING! Line below automatically edited by makefile. -->
<h2><a name="devel">Complete Archive of ProofGeneral-3.2pre000712 for Developers</a></h2>
<!-- End Warning. -->
<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.2pre000712-devel.tar.gz") ?>
<!-- End Warning. -->
</li>
</ul>
<p>
What's the difference from the user's pre-release above?
The complete archive also includes:
</p>
<ul>
<li> the low-level developer's todo files
(see <?php link_root("devel#lowleveltodo","the developers page") ?>)
and the detailed
<!-- WARNING! Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.2pre000712/ChangeLog","ChangeLog"); ?>,
<!-- End Warning. -->
</li>
<li> developer's Makefile used to generate documentation files
and the release itself,</li>
<li> test files, </li>
<li> image source files, </li>
<li> the web pages, </li>
<li> working instantiations of Proof General for new provers </li>
</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.
</p>
<?php
click_to_go_back();
footer();
?>
|