blob: 44a34f710b5593e08670e38b06d4aacb17fd543f (
plain)
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
|
<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 current <a href="develdownload.phtml">development release</a>
(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>
<?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>
|
