Re: [isabelle] Quick and Dirty Mode

ML{*set quick_and_dirty *}
On 27 Aug 2008, at 21:18, Jason Kirschenbaum wrote:


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?


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