diff options
| author | David Aspinall | 1999-08-27 14:29:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-27 14:29:27 +0000 |
| commit | 34e7bc2c33fceeb67a2101d9953b2237306da47f (patch) | |
| tree | d873f46e0d2b2d4d1ea61f627da54a49060da325 /html/about.phtml | |
| parent | 979f9593e9c980a4ff035d5401f308d1843f269d (diff) | |
Added gallery
Diffstat (limited to 'html/about.phtml')
| -rw-r--r-- | html/about.phtml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/html/about.phtml b/html/about.phtml index 857a7ad1..cb9fdf29 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -30,8 +30,14 @@ href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>. </p> <p> +David Aspinall designed the web pages and graphics for Proof General. +<br> +Check the <a href="gallery.phtml">gallery</a> for more publicity +pictures! +</p> +<p> For more on the history of the development of -Proof General, see the +the Proof General program, see the <?php htmlshow("ProofGeneral/doc/ProofGeneral_1.html#SEC3","manual preface.","","html") ?> </p> |