Has anybody here gotten Isabelle/HOL to work under Cygwin? The docs indicate that this should be possible, but I couldn't see how, short of compiling the whole thing from source. --Mitch -------------- next part -------------- HTML attachment scrubbed and removed