Added slides, news about ETAPS demo.

3 files changed, 14 insertions, 1 deletions

diff --git a/html/doc.phtml b/html/doc.phtml
index f811803e..aac11314 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -39,7 +39,10 @@ list</a>.
 <li> <a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
     <a href="papers/pgoutline.ps.gz">Proof General: A Generic Tool for
      Proof Development</a>.
-    <i>Unpublished</i>. October 1999.
+    <i>Demonstration at ETAPS 2000</i>. October 1999.
+    Here are some <a href="papers/pgtalk">draft slides</a> 
+    for the demonstration  
+     (<a href="mailto:da@dcs.ed.ac.uk">comments</a> welcome).
 </li>
 </ul>
 <p> Proof General supports Script Management as documented in:
diff --git a/html/news.phtml b/html/news.phtml
index f65562d5..90833d64 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,16 @@
 </p>
 
 <ul>
+<li><b>14th December 1999</b><br>
+<p>
+I'm pleased to say that Proof General will be demonstrated at
+<a href="http://iks.cs.tu-berlin.de/etaps2000/etaps.html">ETAPS 2000</a>.
+Here are some draft <a href="papers/pgtalk.pdf">slides</a> for 
+the presentation 
+(any <a href="mailto:da@dcs.ed.ac.uk">comments</a> would be welcome).
+A presentation of Proof General based on these slides was given at 
+<a href="http://www.clrc.ac.uk/">Rutherford Appleton Laboratory</a> last week.
+</p>
 <li><b>26th November 1999</b><br>
 <p>
 Proof General 3.0 is released!
diff --git a/html/papers/pgtalk.pdf b/html/papers/pgtalk.pdf
new file mode 100644
index 00000000..17dc8334
--- /dev/null
+++ b/html/papers/pgtalk.pdf