diff options
| author | David Aspinall | 1999-12-14 20:55:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-14 20:55:48 +0000 |
| commit | c1a0354d0679fd172b70b4568a452ae9f13121ab (patch) | |
| tree | 743d306cf0e1d84f59084b027ffa3ddaa27b621f /html/doc.phtml | |
| parent | b8ba708ed856c3ee0669298a833e2f324be8a82c (diff) | |
Added slides, news about ETAPS demo.
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 5 |
1 files changed, 4 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: |