[isabelle-dev] Mira / AFP configuration problem?
makarius at sketis.net
Thu May 30 19:21:21 CEST 2013
We keep getting odd errors like this:
Unknown option "parallel_proofs_reuse_timing"
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"
More information about the isabelle-dev