1 files changed, 127 insertions, 0 deletions
diff --git a/html/devel.html b/html/devel.html
new file mode 100644
index 00000000..bbeb91f3
--- /dev/null
+++ b/html/devel.html
@@ -0,0 +1,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.5pre030225</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.5pre030225/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.5pre030225/README.devel","README file"); ?>, 
+with development hints and tips.
+</li>
+</ul>
+
+
+<ul>
+<li>
+Read the brief list of planned 
+<?php fileshow("ProofGeneral-3.5pre030225/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.5pre030225/todo","generic base"); ?>, 
+  <br>
+  and for each prover:
+   <?php fileshow("ProofGeneral-3.5pre030225/lego/todo","lego to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre030225/coq/todo","coq to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre030225/isa/todo","isa to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre030225/isar/todo","isar to do"); ?>,
+   <?php fileshow("ProofGeneral-3.5pre030225/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.5pre030225/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.5pre030225/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>
+