> It definitely looks like scala-2.12.2 causes non-termination, e.g. of > src/HOL/Codegenerator_Test/Generate.thy -- I have opened that file in > isabelle jedit and waited for approx. 30min; a batch build of > HOL-Codegenerator_Test ran into timeout of 2h. > > Maybe Florian has an idea.
Btw. I am working on this but still have no conclusive answer. To be continued… Florian -- PGP available: http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev