diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-07-12 12:49:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-07-12 12:49:01 +0000 |
commit | dbc0f6378eed4eed1405f4527e1610a0806344ef (patch) | |
tree | 0c4adf462441d89e73c2b31332e62687b137274b /html | |
parent | b810678b73308e26141009dab70b2f3e53e3cb63 (diff) |
Minor updates
Diffstat (limited to 'html')
-rw-r--r-- | html/about.phtml | 5 | ||||
-rw-r--r-- | html/feedback.phtml | 3 | ||||
-rw-r--r-- | html/gallery.phtml | 16 | ||||
-rw-r--r-- | html/proofgen.css | 2 | ||||
-rw-r--r-- | html/screenshot.phtml | 5 |
5 files changed, 18 insertions, 13 deletions
diff --git a/html/about.phtml b/html/about.phtml index 18ad95f1..fe139990 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -8,10 +8,7 @@ mode was an Emacs-based front end for LEGO similar to David Aspinall's developed at the LFCS since 1992. After 1994, implementations of proof-by-pointing and script management were added to LEGO mode, and the code was made generic. The generic basis was developed by -Kleymann, Sequeira, Goguen and Aspinall (in order of appearance). -Yves Bertot provided assistance with proof-by-pointing, and Proof -General follows some of the ideas used in <a -href="http://www.inria.fr/croap/">Project CROAP</a>. +Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall. The current authors and maintainers of the various instantiations of Proof General are mentioned on the <?php link_root("main","front page.") ?> diff --git a/html/feedback.phtml b/html/feedback.phtml index 30e3bded..6413f83b 100644 --- a/html/feedback.phtml +++ b/html/feedback.phtml @@ -16,7 +16,8 @@ ?> <p> -Please use the form below to send us comments and suggestions. +Please use the form below to send us comments, suggestions, +or offers to help with Proof Generl development. <br> Or send email directly to the diff --git a/html/gallery.phtml b/html/gallery.phtml index 0b18090a..45bbb11e 100644 --- a/html/gallery.phtml +++ b/html/gallery.phtml @@ -16,16 +16,20 @@ based on a commercial mesh by Click on a thumbnail to see a full-size images. All full-size images are 720x990 pixel JPGs (a nice size to print at 180dpi on A5 paper). Please download and print for your own use! -</p> -Please <a href="feedback.phtml">contact us</a> with comments or -suggestions, or if you would like a copy of one of the images -in another size or format. -</p> <p> Copyright for the images is held by <a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>. Please do not publish the images or incorporate them into other -work without his permission. +work without his permission. If you have comments or suggestions, +or if you would like a copy of one of the images +in another size or format, +please <a href="feedback.phtml">contact us</a>. +</p> + +</p> +<p> +For pictures of what Proof General looks like in use, +see the <a href="screenshot.phtml">screenshots</a> page. </p> </blockquote> diff --git a/html/proofgen.css b/html/proofgen.css index a3317feb..e9fe12e5 100644 --- a/html/proofgen.css +++ b/html/proofgen.css @@ -7,7 +7,7 @@ body{ font-family: Verdana, Arial, sans-serif; /* font for the doc body */ background: #2D1D03; /* background brown */ background-image: - url(http://zermelo.dcs.ed.ac.uk/~proofgen/images/canvaswallpaper.jpg); + url(images/canvaswallpaper.jpg); background-attachment: fixed; /* background shouldn't scroll */ color: #FFFFFF /* text colour is white */ } diff --git a/html/screenshot.phtml b/html/screenshot.phtml index f64f7faa..c4dc4b92 100644 --- a/html/screenshot.phtml +++ b/html/screenshot.phtml @@ -11,7 +11,7 @@ of a picture, click on its thumbnail. <i>(NB: Your browser needs PNG support to view these pictures)</i> </p> -<!-- todo: php3 this --> +<!-- todo: php3 this, add space between rows! --> <table width="80%"> <tr> <td width="200"> @@ -105,6 +105,9 @@ graphical features are reduced! </tr> </table> +<p> +For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>. +</p> <?php click_to_go_back(); footer(); |