Am 03.12.2012 um 23:08 schrieb Lawrence Paulson: > Missing components maybe?
I did "isabelle components -a" earlier today. In fact, the issue is likely to be related to the big upgrade that resulted from my invocation of this very command yesterday night. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
