So we reanimated a test-mini-isac which helped us to update to Isabelle2009-2, but again we do not come to a clue; the test in the attachment is at the state, where we gave up in Isabelle2011 for now.
Help would be highly appreciated, Walther PS: the outcommented parts worked in Isabelle2009-2
file-depend.tgz
Description: application/compressed-tar
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
