[isabelle-dev] JinjaThreads

[Andreas Lochbihler]

It should work now again (Isabelle/e4716b792713 and AFP/ec3887abf158).

Sorry for the trouble,
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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev