*To*: Holger Blasum <hbl at sysgo.com>*Subject*: Re: [isabelle] Latex without proofs*From*: Makarius <makarius at sketis.net>*Date*: Mon, 24 Jun 2013 14:46:49 +0200 (CEST)*Cc*: Stephan van Staden <Stephan.vanStaden at inf.ethz.ch>, cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <20130622084204.GA4827@hbl-lap-dell>*References*: <51C47AA8.9090506@inf.ethz.ch> <20130622084204.GA4827@hbl-lap-dell>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Sat, 22 Jun 2013, Holger Blasum wrote:

\paragraph{Printing with usedir, old way} The old way is: \begin{lstlisting} $ isabelle usedir -d pdf HOL . \end{lstlisting}

display\_drafts and print\_drafts is documented in isar-ref.pdf,``Document preparation'', ``Draft presentation''.

Makarius

**Follow-Ups**:**Re: [isabelle] Latex without proofs***From:*Joachim Breitner

**References**:**[isabelle] Latex without proofs***From:*Stephan van Staden

**Re: [isabelle] Latex without proofs***From:*Holger Blasum

- Previous by Date: Re: [isabelle] HOL-Proofs
- Next by Date: Re: [isabelle] Documentation of mixfix annotations
- Previous by Thread: Re: [isabelle] Latex without proofs
- Next by Thread: Re: [isabelle] Latex without proofs
- Cl-isabelle-users June 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list