diff options
| author | David Aspinall | 1998-10-15 16:01:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-15 16:01:03 +0000 |
| commit | da0968b1c486a2b2b326eb1639f3b2f421886380 (patch) | |
| tree | 24d9abcb0f5a08f565ca96b2ca1c5c6f21c11ee7 /html | |
| parent | 3259b182e3726d5a31e35489ad41f7fc747c32f3 (diff) | |
Added index bar with bullet holes.
Diffstat (limited to 'html')
| -rw-r--r-- | html/IsaPGscreen.html | 13 | ||||
| -rw-r--r-- | html/bullethole.gif | bin | 0 -> 1019 bytes |
2 files changed, 10 insertions, 3 deletions
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 Binary files differnew file mode 100644 index 00000000..c4447471 --- /dev/null +++ b/html/bullethole.gif |
