Organize your proofs!
 Home |
Features |
Download |
Documentation |
| News |
Screenshots |
Development |
About |
|
|
Organize your proofs!
|
Proof General 3.7.1 is released!
This resolves some compatibility issues for Isabelle and adds some improvements for Coq. Please report any problems at the PG trac. Please note: the actual version number is now 3.7.1.1, yesterday's 3.7.1 release had a bug in the Coq code which guesses command lines.
We have added a wiki and a bug tracker for Proof General. Please use these tools and contribute reports or tips.