| layout | page |
|---|---|
| title | Screenshots |
| subtitle |
{% comment %} TODO: Update this page Screenshots of Proof General 4.1 not yet added. Submissions welcome! {% endcomment %}
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.