Re: [isabelle] proof state into latex



Swell! Thanks very much indeed.
--
    Giamp



Quoting Alfio Martini <alfio.martini at acm.org>:

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.