Re: [isabelle] Isabelle and Beamer

On Mon, 8 Dec 2008, John Matthews wrote:

> I'm thinking of trying out the Beamer class to make some LaTeX slides 
> containing selected definitions and lemmas from some of my Isabelle 
> theory files. Does anyone have some advice on the best way to go about 
> this?

This is how I usually do it, although it uses plain foiltex instead of 


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