Proof General for Eclipse: Screenshots

Click on a screen shot to view full size.

Starting Up and Getting Help Description
A Welcoming introduction to Proof General Eclipse
Cheat Sheet system to help orient new users
Proof Script wizard creating a new Theory file
Importing new files from a variety of sources

Proof General in Action Description
The Proof General 'perspective', the main working environment
Parsed Outline of a proof
Detail of Proof General Processing a file
perthy6.png During a proof. Editor shows code folding and tooltip help.

Noteworthy Features Description
New Prover Objects browser
Extended preferences including colour options
Full Unicode script support

Eclipse integration Description
Working with a proof "project" over CVS
Using Eclipse's CVS plugin to compare files
Error marking and prover feedback

Older screenshots...

These are retained for interest, and do not necessarily represent Proof General Eclipse as it is now.

(click to view full-size)

screenshot1.png screenshotSymbols.png screenshotTooltip.png

Topic attachments
I Attachment Action Size Date Who Comment
pngpng perthy6.png manage 147.6 K 04 Mar 2007 - 16:58 DavidAspinall Example with many views
Topic revision: r9 - 04 Mar 2007 - 17:07:32 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies