From 503601e5547bbc7739a89255ea9e93da6136e36d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 16:10:11 +0000
Subject: Add technology overview paper.

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

(limited to 'html')

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