From 34e7bc2c33fceeb67a2101d9953b2237306da47f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 1999 14:29:27 +0000
Subject: Added gallery

---
 html/about.phtml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'html/about.phtml')

diff --git a/html/about.phtml b/html/about.phtml
index 857a7ad1..cb9fdf29 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -29,9 +29,15 @@ and the <a
 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>
 
-- 
cgit v1.2.3