Renamed file

1 files changed, 111 insertions, 0 deletions

diff --git a/html/devel.html b/html/devel.html
new file mode 100644
index 00000000..aa418f08
--- /dev/null
+++ b/html/devel.html
@@ -0,0 +1,111 @@
+<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.html">Proof General Kit</a>
+here.
+</li>
+</ul>
+<ul>
+<li>
+Download the latest <a href="develdownload.phtml">development release: 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+ <b>ProofGeneral-3.2pre000928</b></a>
+<!-- end WARNING -->
+ <br>
+Check the 
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<?php fileshow("ProofGeneral-3.2pre000928/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.phtml">ask here</a>.
+</li>
+</ul>
+<ul>
+<li>
+Get involved!
+Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
+</li>
+</ul>
+<ul>
+<li>
+Read the 
+developer's 
+<?php fileshow("ProofGeneral-3.2pre000928/README.devel","README file"); ?>, 
+with development hints and tips.
+</li>
+</ul>
+<ul>
+<li>
+Read the brief list of planned 
+<?php fileshow("ProofGeneral-3.2pre000928/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.2pre000928/todo","generic base"); ?>, 
+  <br>
+  and for each prover:
+   <?php fileshow("ProofGeneral-3.2pre000928/lego/todo","lego to do"); ?>,
+   <?php fileshow("ProofGeneral-3.2pre000928/coq/todo","coq to do"); ?>,
+   <?php fileshow("ProofGeneral-3.2pre000928/isa/todo","isa to do"); ?>,
+   <?php fileshow("ProofGeneral-3.2pre000928/isar/todo","isar to do"); ?>,
+   <?php fileshow("ProofGeneral-3.2pre000928/hol98/todo","hol to do"); ?>.
+<!-- end WARNING -->
+</li>
+</ul>
+<!-- <ul> -->
+<!-- <li> -->
+<!-- Browse source files from the current pre-release: -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.2pre000928/generic/proof-easy-config.el") ?>. -->
+<!-- </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>
+