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
|
<p>
Proof General follows an open development method.
<br>
We welcome code contributions, suggestions, and bug reports, from all
users and hackers!
</p>
<ul>
<li>
Download the latest <a href="develdownload.phtml">development release:
<!-- WARNING! Line below automatically edited by makefile. -->
<b>ProofGeneral-3.2pre000712</b></a>
<!-- end WARNING -->
<br>
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.
</li>
</ul>
<ul>
<li>
Browse a mirror of the <a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>. <br>
<i>Note:</i> this mirror is updated nightly, so it may not be
exactly up-to-date with the latest versions.<br>
If you'd like to be an official developer and
want full access to the real CVS repository,
<a href="feedback.phtml">ask here</a>.
</li>
</ul>
<ul>
<li>
Read a draft of the white paper on the <b><i>Proof General Kit</i></b>,
see <a href="/home/da/drafts/#white">here</a>.
</li>
</ul>
<ul>
<li>
Get involved!
Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
</li>
</ul>
<ul>
<li>
Read the
developer's
<?php fileshow("ProofGeneral-3.2pre000712/README.devel","README file"); ?>,
with development hints and tips.
</li>
</ul>
<ul>
<li>
Read the brief list of planned
<?php fileshow("ProofGeneral-3.2pre000712/TODO","things to do "); ?>
for Proof General.
</ul>
<ul>
<li>
<a name="lowleveltodo">See our current low-level lists of things to do</a>,
for the
<!-- WARNING! Lines below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.2pre000712/todo","generic base"); ?>,
<br>
and for each prover:
<?php fileshow("ProofGeneral-3.2pre000712/lego/todo","lego to do"); ?>,
<?php fileshow("ProofGeneral-3.2pre000712/coq/todo","coq to do"); ?>,
<?php fileshow("ProofGeneral-3.2pre000712/isa/todo","isa to do"); ?>,
<?php fileshow("ProofGeneral-3.2pre000712/isar/todo","isar to do"); ?>,
<?php fileshow("ProofGeneral-3.2pre000712/hol98/todo","hol to do"); ?>.
<!-- end WARNING -->
</li>
</ul>
<!-- <ul> -->
<!-- <li> -->
<!-- Browse source files from the current pre-release: -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-site.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-config.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-script.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-shell.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-toolbar.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-syntax.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-splash.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.2pre000712/generic/proof-easy-config.el") ?>. -->
<!-- </ul> -->
<ul>
<li>
<?php hlink("feedback.phtml","Send us a message ","Feedback form")?>
about any development issues.
</li>
</ul>
<h2><a name="develmail">Developers Mailing List</a></h2>
<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>
|