From 467912747d810fa57fb64e72eaf5c78f7cec3c64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 13:55:44 +0000
Subject: Draft slides no longer draft.  Fix broken link, too.

---
 html/doc.phtml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index aac11314..d885b0bf 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -40,9 +40,8 @@ list</a>.
     <a href="papers/pgoutline.ps.gz">Proof General: A Generic Tool for
      Proof Development</a>.
     <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).
+    Here are some <a href="papers/pgtalk.pdf">slides</a> 
+    for the talk.
 </li>
 </ul>
 <p> Proof General supports Script Management as documented in:
-- 
cgit v1.2.3