Hi Stefan,
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")
This should be now fixed in Isabelle 02d64fd40852.
I also removed the obsolete reference to FinFun in JinjaThreads/Basic
(AFP b060f6386ebc).
Andreas
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
