[isabelle-dev] New manual Programming and Proving in Isabelle/HOL

Tobias Nipkow nipkow at in.tum.de
Mon Apr 2 20:55:58 CEST 2012

Am 02/04/2012 19:46, schrieb Florian Haftmann:
> I'm indedd quite curious, but unable to build the tex sources.  The first
> error complains about a missing »eulervm.sty«, with lot of further messages
> following.

You mean you couldn't run the tex sources? Unfortunately I can confirm that.
It appears that the tex installation on the macbroys does not have eulervm
(texlive on my mac does come with it). I will probably need to add it to my

Thanks for letting me know

> Maybe the necessary dependencies can be found out by using a different 
> machine to build on, e.g. one of the macbroyXY?
> Cheers, Florian

More information about the isabelle-dev mailing list