[isabelle-dev] Latex issue (Fwd: isabelle dist build failed)
krauss at in.tum.de
Mon May 30 10:39:23 CEST 2011
The nightly isatest stopped working after the tex distribution on our
servers was updated to Tex Live 2010 (at least we suspect that this is
the cause of the problem).
This seems to be an obscure latex problem that arises when buliding
doc-src/Logics. It seems that the (generated!) file logics.ind is
somehow malformed, which makes the subsequent tex run crash.
Could someone who knows more about this document setup look into this issue?
Steps to reproduce:
* Log into macbroy20-28
* On some repository clone, go to ~~/doc-src/Logics and run
make clean dvi
Note that the regular nightly isatest will not run until this is fixed,
because it first builds the documentation (as part of the distribution).
The new testing framework is not affected by it (since it effectively
ignores documentation at the moment).
-------- Original Message --------
Subject: isabelle dist build failed
Date: Mon, 30 May 2011 00:18:04 +0200
From: isatest at macbroy28.informatik.tu-muenchen.de (Account Isatest)
To: krauss at in.tum.de
Could not build isabelle distribution. Log file available at
More information about the isabelle-dev