Deleted file

1 files changed, 0 insertions, 37 deletions

diff --git a/html/projects/corba.html b/html/projects/corba.html
deleted file mode 100644
index 35faa73f..00000000
--- a/html/projects/corba.html
+++ /dev/null
@@ -1,37 +0,0 @@
-<h2>An Experimental CORBA binding and IDL mapping for ML</h2>
-<p>
-The future version of Proof General may use CORBA as a communication
-mechanism between different components.  CORBA is also used by the
-Unix/Linux desktops KDE and GNOME, which use the free implementations
-MICO and ORBIT respectively.  We would like to be able to use ML to
-write to interface with other CORBA components on the desktop and 
-network.  For this a binding for ORB functions in ML is needed, as well 
-as perhaps a mapping from the CORBA IDL into Standard ML, so that
-we can write CORBA enabled applications in SML.  
-</p>
-<p>
-This project involves the design and implementation of an experimental
-version (subset of features) of such a system, using one of the
-open-source ML compilers such as Moscow ML, Poly/ML or OCaml (in fact,
-there is already some handling of COM in OCaml which can be used to
-access an ORB).  Essentially, we want to analyse the feasibility
-and performance of using a CORBA architecture for Proof General.
-</p>
-<p>
-An CORBA binding for Haskell would also be an interesting project.
-</p>
-<p>
-See 
-<a href="http://www.cl.cam.ac.uk/~cvr21/projects.html">Claudio Russo's</a> 
-project suggestion for a similar proposal, including useful links.
-</p>
-<p>
-<b>Skills:</b>
-Good ML, C, C++, programming skills and understanding of abstraction
-mechanisms, basic understanding of CORBA and willing to get to
-grasps with some of MICO or ORBIT.
-</p><p>
-<b>Proposers:</b>
-<a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a> and
-<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
-</p>