> Last known good state is: > > Isabelle/7e349d1e3c95 > AFP/c3cfeceda7a0
We're back to normal now, as of Isabelle/58c9231c2937 AFP/79f64c92d5ae _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
