diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/IsaPGscreen.html | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html deleted file mode 100644 index 124d96ae..00000000 --- a/html/IsaPGscreen.html +++ /dev/null @@ -1,62 +0,0 @@ -<!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="40%"><A HREF="http://www.dcs.ed.ac.uk/~proofgen/"><IMG - SRC="ProofGeneral.jpg" ALT="[ Proof General logo ]" ></A></TD> - <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_toc.html">Documentation</a> - </TR> - </TABLE> -<HR> -<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. -<p> -<img src="IsaPGscreen.jpg" ALT="Isabelle Proof General screenshot"> -<p> - <hr> - <A HREF="http://validator.dcs.ed.ac.uk/check?uri=http://www.dcs.ed.ac.uk/~proofgen/IsaPGscreen.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: Thu Dec 17 17:17:30 GMT 1998 -<!-- hhmts end --> - </body> -</html> |