blob: 3553294dd0f6a15612c810b152de2fbf0461de0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
<!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.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.w3.org/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 Oct 15 17:45:47 BST 1998
<!-- hhmts end -->
</body>
</html>
|