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