We keep getting odd errors like this:
Unknown option "parallel_proofs_reuse_timing"
e.g. here:
http://isabelle.in.tum.de/reports/Isabelle/report/715f292e5d3d4be1b9e1af4be0d136d0
It seems to be some old AFP version that is tested here accidentally. I
had parallel_proofs_reuse_timing at some point, but later discontinued it.
What is also odd: ML_HOME="/home/polyml/polyml-svn/x86-linux"
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
