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

[Tobias Nipkow]

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
sources.

Thanks for letting me know
Tobiaas

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