New projects added

1 files changed, 16 insertions, 9 deletions

diff --git a/html/projects.phtml b/html/projects.phtml
index 426bec3f..51320b35 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -13,15 +13,18 @@ research.  They would be ideal projects for interested students
 or researchers.
 </p>
 <p>
-For more information on a project, click on its title.
+The projects are divided into those which are specific to Proof
+General, and those which would be useful more widely and do not depend
+on Proof General.  For more information on a project, click on its
+title.
 </p>
 
+<h2>Projects involving Proof General</h2>
 <ul>
 <li><?php pgproject("coqpbp","Proof-by-pointing support for Coq") ?></li>
+<li><?php pgproject("coqfile","Multiple file handling support for Coq") ?></li>
 <li><?php pgproject("isapbp","Proof-by-pointing support for Isabelle") ?></li>
 <li><?php pgproject("outline","Integrating block-structured development and outline mode") ?></li>
-<li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li>
-<li><?php pgproject("scrgen","Script General") ?></li>
 <li><?php pgproject("thybrowse","A Generic Theory Browser") ?></li>
 <li><?php pgproject("pgml","Specification and tools for PGML") ?></li>
 <li><?php pgproject("pgip","A New Protocol for Interactive Proof in Proof General") ?></li>
@@ -29,6 +32,13 @@ For more information on a project, click on its title.
 <li><?php pgproject("test","A Test Harness and Test Suite for Proof General") ?></li>
 </ul>
 
+<h2>Projects not directly involving Proof General</h2>
+<ul>
+<li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li>
+<li><?php pgproject("scrgen","Script General") ?></li>
+<li><?php pgproject("corba", "Experiments with CORBA bindings for ML" ?></li>
+</ul>
+
 <p>
 Some projects involve Emacs Lisp.  This is the embedded programming
 language inside Emacs.  It is very easy to learn, since it is small,
@@ -54,18 +64,15 @@ If you are interested in working on any of these projects,
 feel free to discuss with the project proposer or on the 
 <?php link_root("devel#develmail","developer's mailing list") ?>.
 </p>
-<p>
-Note: the proposer of the project is just that; he or she does not
-guarantee to be available for formal supervision or intensive help
-with the project.  But it may be possible to find somebody else
-to do that.  Contact the project proposer first for more details.
-</p>
 
 <p>
 If you would like to use any of these ideas as a formal project
 proposal for students at your institution, please feel free
 but do <?php hlink("feedback.phtml","let us know ","Feedback form")?>
 if some work is begun, to help coordinate efforts.
+NB: the proposer of the project does not guarantee to be available for
+formal supervision or intensive help with the project (but it may be
+possible to find somebody else to do that).
 </p>
 
 <p>