From 4183a528bbc5b1e94205ce987511d3cfd2b3fb47 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 7 Nov 2003 14:13:40 +0000
Subject: Add file size

---
 html/doc.html | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'html')

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 
-- 
cgit v1.2.3