Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround)



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é

-- 
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.