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)


On Sat, Oct 1, 2011 at 10:32 AM, Giampaolo Bella <giamp at> 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.