On Wed, 11 Dec 2013, Tobias Nipkow wrote:
I just saw the above message for the first time, when building HOL-IMP.
Should this worry me?
Incidently I had seen the same on the same day, and asked myself the same
question. It did not come back later, though.
These sporadic incidents might be a problem in the session shutdown phase,
i.e. a misunderstanding of Isabelle/ML vs. Poly/ML. If it happens more
frequently, I will have to look again.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
