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 
beamer 
http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/Demo_Slides/archive/tip.tar.gz


	Makarius





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