From 7e049e7ecc1ec8098463454f87369461bd10efc2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jun 1999 14:02:24 +0000 Subject: .phtml instead --- html/IsaPGscreen.html | 62 --------------------------------------------------- 1 file changed, 62 deletions(-) delete mode 100644 html/IsaPGscreen.html (limited to 'html') 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 @@ - - - - Proof General --- Organize your proof with Emacs - - - - - -
- - - - -
[ Proof General logo ] - PROOF
- GENERAL
-

Organize your proof with Emacs!

- Home - . - Screenshot - . - Download - . - Documentation -
-
-

-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. -

-Isabelle Proof General screenshot -

-

- Valid HTML 4.0! -
Proof General maintainer
- - -Last modified: Thu Dec 17 17:17:30 GMT 1998 - - - -- cgit v1.2.3