diff options
| author | David Aspinall | 1999-11-16 16:05:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 16:05:51 +0000 |
| commit | 8c8850eb2df838e34ff3ed9fab40d2d6a76489d6 (patch) | |
| tree | f58044eb4d67176e4418f65b23c12b154a3188af /html/main.phtml | |
| parent | 8247e2f5be2e0da25e49f676ebc2ab461b131b98 (diff) | |
Updates
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/html/main.phtml b/html/main.phtml index 548edc72..21409081 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -48,7 +48,7 @@ including: <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. <br> Maintained by - <a href="mailto:courtieu@lri.fr">Pierre Courtieu <courtieu@lri.fr></a>. + <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>. </div> </td> </tr> @@ -103,6 +103,9 @@ made available in our developers release. </p> <p> +To read more about what features Proof General +provides, <a href="features.phtml">click here</a>. +<br> To see what Proof General looks like in use, have a look at this <a href="screenshot.phtml">screenshot</a>. </p> |