From da0968b1c486a2b2b326eb1639f3b2f421886380 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Oct 1998 16:01:03 +0000
Subject: Added index bar with bullet holes.

---
 html/IsaPGscreen.html |  13 ++++++++++---
 html/bullethole.gif   | Bin 0 -> 1019 bytes
 2 files changed, 10 insertions(+), 3 deletions(-)
 create mode 100644 html/bullethole.gif

(limited to 'html')

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index a3d98db4..dc2927f6 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -19,12 +19,19 @@
 <HR>
  <TABLE WIDTH="80%">
  <TR>
- <TD WIDTH="50%"><A HREF="http://www.dcs.ed.ac.uk/~proofgen/"><IMG
+ <TD WIDTH="40%"><A HREF="http://www.dcs.ed.ac.uk/~proofgen/"><IMG
  SRC="ProofGeneral.jpg" ALT="[ Proof General logo ]" ></A></TD>
- <TD WIDTH="50%">
+ <TD WIDTH="60%">
   <img src="text_proof.gif" ALT="PROOF"><br>
   <img src="text_general.gif" ALT="GENERAL"><br>
   <h3>Organize your proof with Emacs!</h3>
+  <a href="index.html">Home</a>
+  <img src="bullethole.gif" alt=".">
+  Screenshot
+  <img src="bullethole.gif" alt=".">
+  <a href="download.html">Download</a>
+  <img src="bullethole.gif" alt=".">
+  <a href="ProofGeneral/doc/ProofGeneral.html">Documentation</a>
  </TR>
  </TABLE>
 <HR>
@@ -48,7 +55,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: Fri Oct  9 14:22:02 BST 1998
+Last modified: Thu Oct 15 17:00:37 BST 1998
 <!-- hhmts end -->
   </body>
 </html>
diff --git a/html/bullethole.gif b/html/bullethole.gif
new file mode 100644
index 00000000..c4447471
Binary files /dev/null and b/html/bullethole.gif differ
-- 
cgit v1.2.3