[isabelle-dev] HOLCF problem

Tobias Nipkow nipkow at in.tum.de
Sun Nov 28 11:36:52 CET 2010


Brian's latest patch "remove HOLCF from build script, since it no longer
works" has an unfortunate effect: the isabelle script now terminates
immediately with
Bad Isabelle component: "/Users/nipkow/isabelle/src/HOLCF"
Which is annoying, given that I do not want to use HOLCF at all.
Can I do something to avoid this?

Tobias


More information about the isabelle-dev mailing list