[isabelle] set quick_and_dirty mode when running Isabelle from the command line?



Hi everyone,
I run Isabelle by the command "./isabelle usedir -b HOL Output" with the
input file name declared in ROOT.ML.
How to set quick_and_dirty mode from that command? I need to do that because
I use some raw proof blocks.

Thank you very much

Anh




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