From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:31:13 +0000
Subject: Deleted file

---
 html/devel.html | 135 --------------------------------------------------------
 1 file changed, 135 deletions(-)
 delete mode 100644 html/devel.html

(limited to 'html/devel.html')

diff --git a/html/devel.html b/html/devel.html
deleted file mode 100644
index c468dc47..00000000
--- a/html/devel.html
+++ /dev/null
@@ -1,135 +0,0 @@
-<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.5pre040207</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.5pre040207/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.5pre040207/etc/README.devel","README file"); ?>, 
-with development hints and tips.
-</li>
-</ul>
-
-
-<ul>
-<li>
-Read the brief list of planned 
-<?php fileshow("ProofGeneral-3.5pre040207/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.5pre040207/todo","generic base"); ?>, 
-  <br>
-  and for each prover:
-   <?php fileshow("ProofGeneral-3.5pre040207/lego/todo","lego to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre040207/coq/todo","coq to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre040207/isa/todo","isa to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre040207/isar/todo","isar to do"); ?>,
-   <?php fileshow("ProofGeneral-3.5pre040207/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.5pre040207/generic/proof.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-site.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-config.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-script.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-shell.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-toolbar.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-syntax.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/generic/proof-splash.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.5pre040207/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:proofgeneral-devel@inf.ed.ac.uk">proofgeneral-devel@inf.ed.ac.uk</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>
-
-- 
cgit v1.2.3