Screenshots

Screenshots of latest versions of Proof General were not yet added.

Meanwhile you can still

• see the old screenshots of PG 3.0.
• See the Proof General Eclipse wiki for screenshots of Proof General in Eclipse.