diff options
author | 2000-03-24 13:55:44 +0000 | |
---|---|---|
committer | 2000-03-24 13:55:44 +0000 | |
commit | 467912747d810fa57fb64e72eaf5c78f7cec3c64 (patch) | |
tree | 3073555bddec193b7bb19f200e2a5c68c55f29c5 /html | |
parent | da3deea307fae7c07631e61d6af5f8bc821ae902 (diff) |
Draft slides no longer draft. Fix broken link, too.
Diffstat (limited to 'html')
-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: |