[isabelle-dev] AFP devel broken

Tobias Nipkow nipkow at in.tum.de
Thu Dec 6 19:18:11 CET 2012

Am 06/12/2012 12:57, schrieb Makarius:
> This does not say anything yet.  We need to collect further details and
> hypotheses and test them.  I will also try again to reproduce it myself.

One point may (or may not) have got lost. The problem seems to be independent
from the AFP. Remember that I had the situation where even HOLCF hung. It turned
out that trying to load any theory based on HOL hung. I eventually forced HOL to
be recompiled and then things were more normal again. Yes, it sounds strange.


More information about the isabelle-dev mailing list