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/eeproof.php | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 html/eeproof.php

(limited to 'html/eeproof.php')

diff --git a/html/eeproof.php b/html/eeproof.php
deleted file mode 100644
index 445fead7..00000000
--- a/html/eeproof.php
+++ /dev/null
@@ -1,32 +0,0 @@
-<?php  
-  require('functions.php3');
-  small_header("Engineering Electronic Proof"); 
-  ?>
-
-<p>
-The <b>Engineering Electronic Proof</b> project is 
-a proposed continuation of the Proof General project,
-using Proof General as a vehicle to study and build
-new mechanisms for managing the development of
-electronic proof.
-</p>
-
-<h3>Details</h3>
-<p>
-More details will be posted here in due course.
-</p>
-<p>
-In the meantime, there is some related
-information on the <a href="kit">Proof General Kit</a>
-page about the next stages of development for Proof General.
-</p>
-<p>
-<h3>Collaborations</h3>
-Collaborations on this work are being sought.  If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to
-<a href="mailto:da+pg-eeproof@inf.ed.ac.uk"><tt>da+pg-eeproof@inf.ed.ac.uk</tt></a>
-</p>
-
-<?php
-   click_to_go_back();
-   footer();
-?>
-- 
cgit v1.2.3