New files.

1 files changed, 32 insertions, 0 deletions

diff --git a/html/eeproof.php b/html/eeproof.php
new file mode 100644
index 00000000..3388bee5
--- /dev/null
+++ b/html/eeproof.php
@@ -0,0 +1,32 @@
+<?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:eeproof@proofgeneral.org"><tt>eeproof@proofgeneral.org</tt></a>
+</p>
+
+<?php
+   click_to_go_back();
+   footer();
+?>