1 files changed, 109 insertions, 0 deletions
diff --git a/html/devel.html b/html/devel.html
new file mode 100644
index 00000000..a008a96d
--- /dev/null
+++ b/html/devel.html
@@ -0,0 +1,109 @@
+<h2>Development Information</h2>
+<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>
+Read about ideas for the <a href="kit">Proof General Kit</a>
+here.
+</li>
+</ul>
+<ul>
+<li>
+Download the latest <a href="develdownload.html">development release: 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+ <b>ProofGeneral-3.4pre020214</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.4pre020214/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>
+</li>
+<li>
+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>
+Get involved!
+Take a look at the Proof General <a href="projects.html">project proposals</a>.
+</li>
+</ul>
+<ul>
+<li>
+Read the 
+developer's 
+<?php fileshow("ProofGeneral-3.4pre020214/README.devel","README file"); ?>, 
+with development hints and tips.
+</li>
+</ul>
+<ul>
+<li>
+Read the brief list of planned 
+<?php fileshow("ProofGeneral-3.4pre020214/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.4pre020214/todo","generic base"); ?>, 
+  <br>
+  and for each prover:
+   <?php fileshow("ProofGeneral-3.4pre020214/lego/todo","lego to do"); ?>,
+   <?php fileshow("ProofGeneral-3.4pre020214/coq/todo","coq to do"); ?>,
+   <?php fileshow("ProofGeneral-3.4pre020214/isa/todo","isa to do"); ?>,
+   <?php fileshow("ProofGeneral-3.4pre020214/isar/todo","isar to do"); ?>,
+   <?php fileshow("ProofGeneral-3.4pre020214/hol98/todo","hol to do"); ?>.
+<!-- end WARNING -->
+</li>
+</ul>
+<!-- <ul> -->
+<!-- <li> -->
+<!-- Browse source files from the current pre-release: -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.4pre020214/generic/proof-easy-config.el") ?>. -->
+<!-- </ul> -->
+<ul>
+<li>
+<?php hlink("feedback.html","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@informatics.ed.ac.uk">
+<tt>proofgeneral-devel@informatics.ed.ac.uk</tt></a>.
+<br>
+To subscribe (or unsubscribe), 
+visit <a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this web page</a>.
+</p>
+