Changes for list_to_set_comprehension keep coming in, and it seems to be
not quite stabilized yet.
Where is the NEWS entry that tells users what to do in case of failure?
Yesterday I have tried to sanitize AFP/JinjaThreads in other repsects, but
it did not work (the approximative versions are Isabelle/2aec4b8cd289
AFP/6ac7d314792d).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
