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

On 28/11/2007, Peter Lammich <peter.lammich at> 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:

- Gergely

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