[isabelle-dev] AFP devel broken
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