From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/main.html | 145 --------------------------------------------------------- 1 file changed, 145 deletions(-) delete mode 100644 html/main.html (limited to 'html/main.html') diff --git a/html/main.html b/html/main.html deleted file mode 100644 index fdffc920..00000000 --- a/html/main.html +++ /dev/null @@ -1,145 +0,0 @@ -

What is Proof General?

-

-Proof General is a generic interface for proof assistants, -currently based on the customizable text editor Emacs. -It works with either -XEmacs or -GNU Emacs. -Proof General has been developed at the -LFCS -in the University of Edinburgh. -

-

-To find out more, check the - features list -and look at the -screenshots. -To get Proof General, visit the -download page. -If you're not interested in interactive proof, -see the standalone components -developed as part of Proof General. -To contact the developers, click -. -

- - - -

What systems does Proof General work with?

- -

Proof General comes ready-to-go for these proof -assistants:

- - - - - - - - - - - - - - - - - - -
- ", - "The Isabelle Home Page"); ?> - for - -
-
- By - David Aspinall - and - Markus Wenzel. -
-
- ","The Coq Home Page") ?> - - for - -
-
- By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and - Pierre Courtieu. -
-
- ", - "The PhoX Home Page") ?> - for - -
-
- By - Christophe Raffalli - and - Paul Roziere. -
-
- ", - "The LEGO Home Page") ?> - for - -
-
- By Thomas Kleymann, Dilip Sequeira, - David Aspinall - and - Paul Callaghan. -
-
- -

There are also experimental or in-development instances -of Proof General:

- - - -

The instances of Proof General marked "in development" above are -not considered complete, but are supported by the developers of proof -systems. The other instances above are "technology demonstrations" of -Proof General for other popular provers, but only show a bare fraction -of what is possible. We are seeking volunteers to support and improve -each of these (please send a note to if you're interested).

- -

Proof General is ready to be customized to new proof assistants. -It can be to get basic support working. Full documentation on -configuration is provided.

-- cgit v1.2.3