diff options
| author | David Aspinall | 1998-10-07 16:14:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 16:14:10 +0000 |
| commit | 6466e08e1a8bc6ba2c956571654765057dd13bde (patch) | |
| tree | 51f97f5928af8d3abead5258c51620537f2cca65 /html | |
| parent | 28133756647819554fdac2bdfab7bd1a7cb76423 (diff) | |
Added text logos. Menu now appears in screenshot.
Diffstat (limited to 'html')
| -rw-r--r-- | html/IsaPGscreen.html | 17 | ||||
| -rw-r--r-- | html/IsaPGscreen.jpg | bin | 37209 -> 49634 bytes | |||
| -rw-r--r-- | html/ProofGeneral.jpg | bin | 8997 -> 5461 bytes | |||
| -rw-r--r-- | html/text_general.jpg | bin | 0 -> 4655 bytes | |||
| -rw-r--r-- | html/text_proof.jpg | bin | 0 -> 3639 bytes |
5 files changed, 9 insertions, 8 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html index b76a61ef..79a2882f 100644 --- a/html/IsaPGscreen.html +++ b/html/IsaPGscreen.html @@ -19,17 +19,15 @@ <HR> <TABLE WIDTH="80%"> <TR> - <TD WIDTH="50%"><A HREF="http://www.dcs.ed.ac.uk/proofgen"><IMG SRC="ProofGeneral.jpg" ALT="[ Proof General logo (subject to change!) ]" ></A></TD> + <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%"> - <H1> - <h1>Proof General</h1> - <h3>Isabelle Screenshot</h3> + <img src="text_proof.jpg" ALT="PROOF"><br> + <img src="text_general.jpg" ALT="GENERAL"><br> + <h3>Organize your proof with Emacs!</h3> </TR> </TABLE> <HR> -<p> -<img src="IsaPGscreen.jpg"> -<p> This is a picture of Isabelle Proof General running inside XEmacs, replaying a simple proof. <br> @@ -40,6 +38,9 @@ sent to the proof process so far. It cannot be edited. <br> The bottom half of the window displays the output from Isabelle at each stage of the proof. +<p> +<img src="IsaPGscreen.jpg"> +<p> <hr> <A HREF="http://validator.w3.org/check?uri=http://www.dcs.ed.ac.uk/proofgen/IsabePGscreen.html;pw;ss"><IMG BORDER=0 SRC="vh40.gif" @@ -47,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: Fri Oct 2 16:31:11 BST 1998 +Last modified: Wed Oct 7 15:28:45 BST 1998 <!-- hhmts end --> </body> </html> diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg Binary files differindex c39aec12..437ee895 100644 --- a/html/IsaPGscreen.jpg +++ b/html/IsaPGscreen.jpg diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg Binary files differindex eccf0312..2b23f03b 100644 --- a/html/ProofGeneral.jpg +++ b/html/ProofGeneral.jpg diff --git a/html/text_general.jpg b/html/text_general.jpg Binary files differnew file mode 100644 index 00000000..8f47054a --- /dev/null +++ b/html/text_general.jpg diff --git a/html/text_proof.jpg b/html/text_proof.jpg Binary files differnew file mode 100644 index 00000000..35290acf --- /dev/null +++ b/html/text_proof.jpg |
