diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-01-16 13:58:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-01-16 13:58:17 +0000 |
| commit | 6de932260c50a9200ef8b9aae007ca279049da63 (patch) | |
| tree | be3bbaca70dae7ab3821b8ea336c6b83de2d8c4a /html/doc.html | |
| parent | 6cf8c768bd38c394b6c411922b6a80be00dac334 (diff) | |
Update my email and web
Diffstat (limited to 'html/doc.html')
| -rw-r--r-- | html/doc.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/doc.html b/html/doc.html index b06b6dd2..b4e0e5ee 100644 --- a/html/doc.html +++ b/html/doc.html @@ -76,21 +76,21 @@ 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://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. +<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 - <a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>. + <a href="http://homepages.inf.ed.ac.uk/da/drafts/#eproof">here</a>. </li> -<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>. +<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. <b><i>Proof General Kit (white paper)</i></b>. Draft version, see - <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>. + <a href="http://homepages.inf.ed.ac.uk/da/drafts/#white">here</a>. </li> </ul> <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>. +<li> <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. <a href="papers/pgoutline.ps.gz">Proof General: A Generic Tool for Proof Development</a>. <i>Tools and Algorithms for the Construction and |