Re: [isabelle] Document preparation hints



* Makarius <makarius at sketis.net> [2014-01-07 22:43 +0100]:
> On Tue, 7 Jan 2014, Timothy Bourke wrote:
> 
> >What is the best way to skip proofs when generating .tex files in this
> >way? I was using "ML {* Toplevel.skip_proofs := true *}" but it seems to
> >have stopped working with Isabelle 2013-x (or I have started making a
> >mistake).

...

> or globally on the isabelle build command line:
> 
>   isabelle build -o skip_proofs -D.
 
In fact, I find that this builds with skip_proofs are faster but that
no .tex file is generated. Is the latter expected?

Tim.

Attachment: signature.asc
Description: Digital signature



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