| Version 1 (modified by , 16 years ago) (diff) |
|---|
The subject of this trac.
NB: the preferred name has a space, Proof General, contrary to the usage adopted by Isabelle developers!
Please see http://proofgeneral.inf.ed.ac.uk
| Version 1 (modified by , 16 years ago) (diff) |
|---|
The subject of this trac.
NB: the preferred name has a space, Proof General, contrary to the usage adopted by Isabelle developers!
Please see http://proofgeneral.inf.ed.ac.uk
