Re: [isabelle] Document preparation hints

* Makarius <makarius at> [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?


Attachment: signature.asc
Description: Digital signature

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