Hi Makarius,
This might be due to my attempt to repair Predicate_Compile_Examples in 78ece168f5b5. I'll
see what I can do.
Andreas
On 15/09/15 16:41, Makarius wrote:
This is the situation in Isabelle/0b071f72f330 and AFP/3085eb9e2bb9:
*** Failed to load theory "Execute_Main" (unresolved "Java2Jinja")
*** Failed to load theory "JinjaThreads" (unresolved "Execute_Main")
*** Dependency "member_i_i" -> "case_list" would result in module dependency
cycle
*** At command "export_code" (line 18 of
"~/isabelle/afp-devel/thys/JinjaThreads/Execute/Java2Jinja.thy")
Any ideas?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev