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.
> 
> http://proofgeneral.inf.ed.ac.uk/trac/ticket/452
> 
> - René
> 

Humm. The ProofGeneral-Devs have now closed this issue with a "it's
Isabelle's fault"-message. So who is correct here?

- René

-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055





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