diff options
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: |