[isabelle] Quick and Dirty Mode



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.