Hi again, I wrote:
> Something strange is happening with the repository (as per
> Isabelle/701bb74c5f97).
I nailed it down to change ae09b9f5980b. Before that change, Main is loaded
normally. With this change, I get the error
Bad theory import "Main"
Jasmin
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
