From f1a76f25b316d36c96231a419e08556cb9d37277 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 7 Oct 1998 13:59:21 +0000 Subject: Fixed validation errors. Added screenshot page. --- html/IsaPGscreen.html | 53 ++++++++++++++++++++++++++++++++++++++++++++++++++ html/IsaPGscreen.jpg | Bin 0 -> 37209 bytes 2 files changed, 53 insertions(+) create mode 100644 html/IsaPGscreen.html create mode 100644 html/IsaPGscreen.jpg (limited to 'html') 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 @@ + + + + Proof General --- Organize your proof with Emacs + + + + + +

+ + + + +

+

Proof General

Isabelle Screenshot

+ +

+This is a picture of Isabelle Proof General running inside XEmacs, +replaying a simple proof. +
+The top half of the window displays the proof script. +
+The blue highlighted region is the part of the script which has been +sent to the proof process so far. It cannot be edited. +
+The bottom half of the window displays the output from Isabelle +at each stage of the proof. +

Proof General maintainer

+ + +Last modified: Fri Oct 2 16:31:11 BST 1998 + + + diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg new file mode 100644 index 00000000..c39aec12 Binary files /dev/null and b/html/IsaPGscreen.jpg differ -- cgit v1.2.3