[isabelle-dev] Isabelle2013-2 release

[Tobias Nipkow]

It says Timeout. Presumably this supports your guess.

Tobias

Am 21/11/2013 15:34, schrieb Makarius:
> On Thu, 21 Nov 2013, Tobias Nipkow wrote:
> 
>> Some such effects may indeed play a role, although I originally did not observe
>> it when reloading a theory but while editing an existing theory.
> 
> Apart from timing problems there might be some internal breakdown of auto tools
> that is not seen, because exceptions are absorbed.  (This behaviour is the same
> for the traditional TTY mode of auto tools.)
> 
> To help diagnose this possibility, the included change produces explicit spam
> via warning messages.  You can use "hg import --no-commit" to experiment with it
> locally (based on the development repository).
> 
> If this yields any insights, we can think about doing something for the release
> branch.
> 
> 
>     Makarius