Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Quick and Dirty Mode

view this post on Zulip Email Gateway (Aug 18 2022 at 12:20):

From: Jason Kirschenbaum <kirschenbaum.9@osu.edu>
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

view this post on Zulip Email Gateway (Aug 18 2022 at 12:20):

From: Amine Chaieb <chaieb@in.tum.de>
ML{*
set quick_and_dirty
*}

Amine.

Jason Kirschenbaum wrote:

view this post on Zulip Email Gateway (Aug 18 2022 at 12:20):

From: Temesghen Kahsai <lememta@gmail.com>
ML{*set quick_and_dirty *}

Last updated: Nov 21 2024 at 12:39 UTC