Hi, while doing a "testall" on the AFP, I noticed that JinjaThreads no longer compiles. I get the error
*** exception Match raised (line 146) *** *** At command "ML" (line 145 of "/mnt/home/berghofe/isabelle/afp/thys/JinjaThreads/Examples/BufferExample.thy") which is related to code generation, but I have no idea where exactly it comes from. Could someone please have a look at it? Moreover, the theory Basic/Basic_Main.thy still contains a reference to FinFun that needs to be updated. Greetings, Stefan _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
