Add technology overview paper.

1 files changed, 9 insertions, 0 deletions

diff --git a/html/doc.phtml b/html/doc.phtml
index 9dc79e44..f811803e 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -33,6 +33,15 @@ list</a>.
 <hr>
 <h2>References</h2>
 
+<p> A technology overview of Proof General is given here:
+</p>
+<ul>
+<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.
+</li>
+</ul>
 <p> Proof General supports Script Management as documented in:
 </p>
 <ul>