Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround)
Am 05.09.2012 16:23, schrieb René Neumann:
> Am 05.09.2012 15:42, schrieb Makarius:
>> As far as I know this "feature" of Proof General has been always there
>> in the 4.x line of versions. You should put this on the regular Proof
>> General tracker and maybe also raise some attention on the Proof General
>> proofgeneral-devel mailing list.
> - René
Humm. The ProofGeneral-Devs have now closed this issue with a "it's
Isabelle's fault"-message. So who is correct here?
Institut für Informatik (I7)
Technische Universität München
85748 Garching b. München
Office: MI 03.11.055
This archive was generated by a fusion of
Pipermail (Mailman edition) and