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
|
<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.1pre000301</b></a>
<!-- end WARNING -->
<br>
(please <a href="register.phtml">register</a> if you haven't already).
</li>
</ul>
<ul>
<li>
Read a draft of the white paper on the Proof General Kit,
see <a href="/home/da/drafts/#white">here</a>.
</li>
</ul>
<ul>
<li>
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.1pre000301/README.devel","README file"); ?>,
with development hints and tips.
</li>
</ul>
<ul>
<li>
See our current low-level lists of things to do, for the
<!-- WARNING! Lines below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.1pre000301/todo","generic base"); ?>,
<br>
and for each prover:
<?php fileshow("ProofGeneral-3.1pre000301/isa/todo","isa to do"); ?>,
<?php fileshow("ProofGeneral-3.1pre000301/isar/todo","isar to do"); ?>,
<?php fileshow("ProofGeneral-3.1pre000301/coq/todo","coq to do"); ?>,
<?php fileshow("ProofGeneral-3.1pre000301/lego/todo","lego to do"); ?>.
<!-- end WARNING -->
</li>
</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>
<p>
If you are interested in becoming an official developer of Proof
General, we can make our CVS repository accessible to you. Please
<a href="feedback.phtml">ask here</a>.
</p>
|
