diff options
Diffstat (limited to 'html/doc.phtml')
-rw-r--r-- | html/doc.phtml | 5 |
1 files changed, 2 insertions, 3 deletions
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: |