Re: [isabelle] Quick and Dirty Mode



ML{*
set quick_and_dirty
 *}

Amine.

Jason Kirschenbaum wrote:
Hi,

I'm trying to set the quick and dirty mode on the command line interface to Isabelle, but I'm having a hard time finding out how to do that without going through ProofGeneral. Does anyone know how to do this?

Thanks,
   Jason





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