Re: [isabelle] proof state into latex



Hi Giampaolo,

It is very simple if you use antiquotations, like for instance:

@{subgoals [display,indent =10]}

You may want to take at look at the reference manual, page 41 (and the
tutorial, page 61)

Best!

On Sat, Oct 1, 2011 at 10:32 AM, Giampaolo Bella <giamp at dmi.unict.it> wrote:

> Hi all,
>
> is there a way to transform a proof state (or a portion, i.e. a subgoal)
> into latex mechanically? So far, I used to take screenshots, but they're not
> very practical.
>
> Thanks!
> --
>    Giamp
>
>
>
>
>
>
>


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil




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