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

(limited to 'html/eproofe.php')

diff --git a/html/eproofe.php b/html/eproofe.php
deleted file mode 100644
index e965a78a..00000000
--- a/html/eproofe.php
+++ /dev/null
@@ -1,30 +0,0 @@
-<?php  
-  require('functions.php3');
-  small_header("Engineering Electronic Proof"); 
-  ?>
-
-<p> 
-Proof General, and particularly, the <a href="kit">Proof General
-Kit</a> is proposed as a vehicle for research into <i>engineering
-electronic proof<i>.  We want to investigate the
-maintenance, combination, and reuse of formal proof developments.
-</p>
-
-<h3>Planning</h3>
-<p>
-This project has not yet been started, and there are no public
-documents available yet.
-</p>
-<p>
-Some hints of our plans appear in the papers describing
-the <a href="kit">Proof General Kit</a>.
-</p>
-
-<p>
-Any <a href="mailto:da@dcs.ed.ac.uk">comments</a> are welcomed.
-</p>
-
-<?php
-   click_to_go_back();
-   footer();
-?>
-- 
cgit v1.2.3