diff options
author | 1998-10-09 13:20:51 +0000 | |
---|---|---|
committer | 1998-10-09 13:20:51 +0000 | |
commit | 244f4295362c2896c1644c66a927d9388c3e9643 (patch) | |
tree | 9d0407311115d03ea76a3da2ad20f5e317c384c9 /html | |
parent | c5439410052d409d0c491cbce8c788e6f9f2e118 (diff) |
Changed banner to use gif files for text.
Diffstat (limited to 'html')
-rw-r--r-- | html/IsaPGscreen.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html index 84518259..a3d98db4 100644 --- a/html/IsaPGscreen.html +++ b/html/IsaPGscreen.html @@ -22,8 +22,8 @@ <TD WIDTH="50%"><A HREF="http://www.dcs.ed.ac.uk/~proofgen/"><IMG SRC="ProofGeneral.jpg" ALT="[ Proof General logo ]" ></A></TD> <TD WIDTH="50%"> - <img src="text_proof.jpg" ALT="PROOF"><br> - <img src="text_general.jpg" ALT="GENERAL"><br> + <img src="text_proof.gif" ALT="PROOF"><br> + <img src="text_general.gif" ALT="GENERAL"><br> <h3>Organize your proof with Emacs!</h3> </TR> </TABLE> @@ -48,7 +48,7 @@ at each stage of the proof. <address><a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer</a></address> <!-- Created: Fri Oct 2 16:18:24 BST 1998 --> <!-- hhmts start --> -Last modified: Thu Oct 8 15:51:02 BST 1998 +Last modified: Fri Oct 9 14:22:02 BST 1998 <!-- hhmts end --> </body> </html> |