diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 13:59:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 13:59:21 +0000 |
| commit | f1a76f25b316d36c96231a419e08556cb9d37277 (patch) | |
| tree | e1ceed2dbc617e065c34bba3e831db68fb9f4e05 /html | |
| parent | 3dfd365c14847ff12d922e3258cc5f9b700ee85f (diff) | |
Fixed validation errors. Added screenshot page.
Diffstat (limited to 'html')
| -rw-r--r-- | html/IsaPGscreen.html | 53 | ||||
| -rw-r--r-- | html/IsaPGscreen.jpg | bin | 0 -> 37209 bytes |
2 files changed, 53 insertions, 0 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html new file mode 100644 index 00000000..b76a61ef --- /dev/null +++ b/html/IsaPGscreen.html @@ -0,0 +1,53 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" + "http://www.w3.org/TR/REC-html40/loose.dtd"> +<html> + <head> + <title>Proof General --- Organize your proof with Emacs</title> + <META NAME="author" CONTENT="David Aspinall <da@dcs.ed.ac.uk>"> + <META NAME="keywords" CONTENT="Isabelle, LEGO, Coq, Emacs, XEmacs, + Interface, Theorem Prover, GUI, David Aspinall"> + <META NAME="description" CONTENT="Proof General is an Emacs based + generic interface for theorem provers"> + </head> + <BODY + BGCOLOR="#500030" + TEXT="#FFFFFF" + LINK="#A0D0FF" + VLINK="#A0D080" + ALINK="#FFD000" + > +<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%"> + <H1> + <h1>Proof General</h1> + <h3>Isabelle Screenshot</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> +The top half of the window displays the proof script. +<br> +The blue highlighted region is the part of the script which has been +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. + <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" + ALT="Valid HTML 4.0!" HEIGHT=31 WIDTH=88 ALIGN=right></A> + <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 +<!-- hhmts end --> + </body> +</html> diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg Binary files differnew file mode 100644 index 00000000..c39aec12 --- /dev/null +++ b/html/IsaPGscreen.jpg |
