aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/devel.html
blob: 4d1df7019ed916d3e64f42f7e37819d4b7257a7d (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
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
127
<h2>Development Information</h2>
<p>
Proof General follows an open development method.  
<br>
We encourage code contributions, suggestions, and bug reports, from all
users.
</p>

<ul>
<li>
Download the latest <a href="develdownload.html">development release: 
<!-- WARNING!  Line below automatically edited by makefile. -->
 <b>ProofGeneral-3.4pre020807</b></a>
<!-- end WARNING -->
<br>
or <a href="ProofGeneral">browse</a> the development distribution.
 <br>
Check the 
<!-- WARNING!  Line below automatically edited by makefile. -->
<?php fileshow("ProofGeneral-3.4pre020807/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://www.proofgeneral.org/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
<i>Note:</i> this mirror is updated nightly, so it may be 
slightly out of date.<br>
If you want to be an "official" developer and
access the real CVS repository, 
<a href="feedback.html">ask here</a>.
</li>
</ul>

<ul>
<li>
Read about ideas for the <a href="kit">Proof General Kit</a>
here.
</li>
</ul>

<ul>
<li>
Take a look at some Proof General <a href="projects.html">project proposals</a>.
</li>
</ul>


<ul>
<li>
Read the 
developer's 
<?php fileshow("ProofGeneral-3.4pre020807/README.devel","README file"); ?>, 
with development hints and tips.
</li>
</ul>


<ul>
<li>
Read the brief list of planned 
<?php fileshow("ProofGeneral-3.4pre020807/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.4pre020807/todo","generic base"); ?>, 
  <br>
  and for each prover:
   <?php fileshow("ProofGeneral-3.4pre020807/lego/todo","lego to do"); ?>,
   <?php fileshow("ProofGeneral-3.4pre020807/coq/todo","coq to do"); ?>,
   <?php fileshow("ProofGeneral-3.4pre020807/isa/todo","isa to do"); ?>,
   <?php fileshow("ProofGeneral-3.4pre020807/isar/todo","isar to do"); ?>,
   <?php fileshow("ProofGeneral-3.4pre020807/hol98/todo","hol to do"); ?>.
<!-- end WARNING -->
</li>
</ul>

<ul>
<li>
See Proof General's <a href="components">standalone components</a>
which can be used in other programs.
</li>
</ul>



<!-- <ul> -->
<!-- <li> -->
<!-- Browse source files from the current pre-release: -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-site.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-config.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-script.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-shell.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-toolbar.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-syntax.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-splash.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.4pre020807/generic/proof-easy-config.el") ?>. -->
<!-- </ul> -->


<ul>
<li>
<?php hlink("feedback","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:devel@proofgeneral.org">devel@proofgeneral.org</a>.
<br>
Posting is restricted to list members.
To subscribe (or unsubscribe), 
visit 
<a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">this 
web page</a>.
</p>