diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-11-07 14:13:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-11-07 14:13:40 +0000 |
| commit | 4183a528bbc5b1e94205ce987511d3cfd2b3fb47 (patch) | |
| tree | 82230f9b3d9bd6a25910607c64bbb86e813bce64 /html | |
| parent | 7573827d07725d8263d14e297689572685880925 (diff) | |
Add file size
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/html/doc.html b/html/doc.html index 7be1ba5f..466add09 100644 --- a/html/doc.html +++ b/html/doc.html @@ -76,6 +76,14 @@ available <a href="http://www.xemacs.org/Documentation/index.html">here</a> (xem <p> Ideas for the future of Proof General are given here: </p> <ul> +<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a> and + <a href="http://http://www.informatik.uni-bremen.de/~cxl/">Christoph Lüth</a> + <b><i>Proof General meets IsaWin</i></b>. + Proc. User Interfaces for Theorem Provers 2003 (UITP'03) September 2003, + Rome, Italy. + Available as <?php download_link("papers/uitp03.pdf", "[pdf]") ?>. +</li> + <li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. <b><i>Protocols for Interactive e-Proof</i></b>. Draft version, see |