*To*: isabelle-users at cl.cam.ac.uk*Subject*: [isabelle] LaTeX-Printing: <proof> in excluded sections*From*: René Neumann <rene.neumann at in.tum.de>*Date*: Tue, 27 May 2014 13:56:25 +0200*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0

Dear list, I'm currently using Isabelle 2013-2 and trying to prepare a document with it. In my theory I have a large section of excluded lemmas, i.e. they are surrounded by (*<*) and (*>*). Unfortunately, in my outline (document_variants="outline=/proof,/ML"), I still see a large line of <proof><proof><proof><proof>… stemming from the lemmas in this section. Is there some way to get rid of them? Thanks, René -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 85748 Garching b. München Tel: +49-89-289-17232 Office: MI 03.11.055

**Attachment:
smime.p7s**

**Follow-Ups**:**Re: [isabelle] LaTeX-Printing: <proof> in excluded sections***From:*Makarius

- Previous by Date: Re: [isabelle] Rational functions
- Next by Date: Re: [isabelle] LaTeX-Printing: <proof> in excluded sections
- Previous by Thread: Re: [isabelle] Rational functions
- Next by Thread: Re: [isabelle] LaTeX-Printing: <proof> in excluded sections
- Cl-isabelle-users May 2014 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