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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
