diff options
Diffstat (limited to 'html/eeproof.php')
| -rw-r--r-- | html/eeproof.php | 32 |
1 files changed, 0 insertions, 32 deletions
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(); -?> |