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

2012-04-04 Thread Tobias Nipkow
Am 03/04/2012 22:51, 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

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

2012-04-03 Thread 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

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

2012-04-02 Thread 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. Maybe the necessary dependencies can be found out by using a different machine to build on, e.g. one of the macbroyXY? Cheers,

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

2012-04-02 Thread 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