Re: [isabelle] Quick and Dirty Mode



ML{*set quick_and_dirty *}
On 27 Aug 2008, at 21:18, 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.