Re: [isabelle] proof state into latex

Swell! Thanks very much indeed.

Quoting Alfio Martini <alfio.martini at>:

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.


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.