Re: [isabelle] ProofGeneral 3.7pre071112 gets out of sync with Isabelle process



On 28/11/2007, Peter Lammich <peter.lammich at uni-muenster.de> wrote:
> If this is not the right list for PG bug reports: Sorry and what is the
> right way to report PG bugs ?

Here it is:

http://proofgeneral.inf.ed.ac.uk/trac/

- Gergely





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.