From 19202c2d45f261670a8f8fe1f66d8b69471ec3e1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 19:13:46 +0000
Subject: Renamed file

---
 html/gallery.html | 84 -------------------------------------------------------
 html/gallery.php  | 84 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 84 insertions(+), 84 deletions(-)
 delete mode 100644 html/gallery.html
 create mode 100644 html/gallery.php

(limited to 'html')

diff --git a/html/gallery.html b/html/gallery.html
deleted file mode 100644
index d11c8957..00000000
--- a/html/gallery.html
+++ /dev/null
@@ -1,84 +0,0 @@
-<?php  
-  require('functions.php3');
-  small_header("Proof General Gallery"); 
-  ?>
-
-<blockquote>
-<p>
-Here are some publicity pictures for Proof General.  They were created
-by David Aspinall in his spare time, using the excellent freeware
-programs <a href="http://www.gimp.org">GIMP</a> and <a
-href="http://www.blender.nl">Blender</a>.  The General himself is
-based on a commercial mesh given away by 
-<a href="http://www.viewpoint.com">Viewpoint</a>.
-</p>
-<p>
-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>
-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.  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.html">contact us</a>.
-</p>
-
-</p>
-<p>
-For pictures of what Proof General looks like in use,
-see the <a href="screenshot.html">screenshots</a> page.
-</p>
-</blockquote>
-
-<!-- todo: php3 this -->
-<table width="80%">
-<tr>
-<td width="200">
-<a href="images/portrait.jpg">
-<img src="images/portrait-thumb.jpg" alt="Portrait" width=150 height=206 border=0>
-</a>
-</td>
-<td>
-<p>
-Proof General portrait <br>
-This is the Proof General logo, 
-with the home page URL at the bottom. <br>
-A nice poster for your wall or door. <br>
-</p>
-</tr>
-<tr>
-<td>
-<a href="images/whip.jpg">
-<img src="images/whip-thumb.jpg" alt="New recruit" width=150 height=206 border=0>
-</a>
-</td>
-<td>
-<p>
-New Recruits Wanted  <br>
-This is a request for help with the Proof General
-project. <br>
-Please <a href="feedback.html">sign up here</a>!
-</p>
-</tr>
-<tr>
-<td>
-<a href="images/whole-man.jpg">
-<img src="images/whole-man-thumb.jpg" alt="Whole man" width=150 height=206 border=0>
-</a>
-</td>
-<td>
-<p>
-Scary boots!  <br>
-This is a full-length shot of Proof General,
-again with the home page at the bottom.
-</p>
-</tr>
-</table>
-
-<?php
-   click_to_go_back();
-   footer();
-?>
diff --git a/html/gallery.php b/html/gallery.php
new file mode 100644
index 00000000..d11c8957
--- /dev/null
+++ b/html/gallery.php
@@ -0,0 +1,84 @@
+<?php  
+  require('functions.php3');
+  small_header("Proof General Gallery"); 
+  ?>
+
+<blockquote>
+<p>
+Here are some publicity pictures for Proof General.  They were created
+by David Aspinall in his spare time, using the excellent freeware
+programs <a href="http://www.gimp.org">GIMP</a> and <a
+href="http://www.blender.nl">Blender</a>.  The General himself is
+based on a commercial mesh given away by 
+<a href="http://www.viewpoint.com">Viewpoint</a>.
+</p>
+<p>
+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>
+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.  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.html">contact us</a>.
+</p>
+
+</p>
+<p>
+For pictures of what Proof General looks like in use,
+see the <a href="screenshot.html">screenshots</a> page.
+</p>
+</blockquote>
+
+<!-- todo: php3 this -->
+<table width="80%">
+<tr>
+<td width="200">
+<a href="images/portrait.jpg">
+<img src="images/portrait-thumb.jpg" alt="Portrait" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+Proof General portrait <br>
+This is the Proof General logo, 
+with the home page URL at the bottom. <br>
+A nice poster for your wall or door. <br>
+</p>
+</tr>
+<tr>
+<td>
+<a href="images/whip.jpg">
+<img src="images/whip-thumb.jpg" alt="New recruit" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+New Recruits Wanted  <br>
+This is a request for help with the Proof General
+project. <br>
+Please <a href="feedback.html">sign up here</a>!
+</p>
+</tr>
+<tr>
+<td>
+<a href="images/whole-man.jpg">
+<img src="images/whole-man-thumb.jpg" alt="Whole man" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+Scary boots!  <br>
+This is a full-length shot of Proof General,
+again with the home page at the bottom.
+</p>
+</tr>
+</table>
+
+<?php
+   click_to_go_back();
+   footer();
+?>
-- 
cgit v1.2.3