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
128
129
130
131
132
133
134
135
|
<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.5pre030926</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.5pre030926/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version.
</li>
</ul>
<ul>
<li>
<b>New!</b> The Proof General CVS repository is available by
anonymous CVS. Login with:
<blockquote>
cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen login
</blockquote>
and use the password <tt>anon</tt>. Then you can check out
the CVS with:
<blockquote>
cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen checkout ProofGeneral
</blockquote>
For more information, see the file <tt>etc/cvs-tips.txt</tt> in the
repository. (If you want to be an "official" developer and
have write access to the CVS repository,
<a href="feedback">ask here first</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.5pre030926/etc/README.devel","README file"); ?>,
with development hints and tips.
</li>
</ul>
<ul>
<li>
Read the brief list of planned
<?php fileshow("ProofGeneral-3.5pre030926/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.5pre030926/todo","generic base"); ?>,
<br>
and for each prover:
<?php fileshow("ProofGeneral-3.5pre030926/lego/todo","lego to do"); ?>,
<?php fileshow("ProofGeneral-3.5pre030926/coq/todo","coq to do"); ?>,
<?php fileshow("ProofGeneral-3.5pre030926/isa/todo","isa to do"); ?>,
<?php fileshow("ProofGeneral-3.5pre030926/isar/todo","isar to do"); ?>,
<?php fileshow("ProofGeneral-3.5pre030926/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.5pre030926/generic/proof.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-site.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-config.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-script.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-shell.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-toolbar.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-syntax.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/generic/proof-splash.el") ?>, -->
<!-- <?php fileshow("ProofGeneral-3.5pre030926/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>
|
