diff options
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 9 |
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> |