[isabelle-dev] New manual Programming and Proving in Isabelle/HOL
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
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