[isabelle-dev] Fwd: status (AFP)
makarius at sketis.net
Fri Sep 21 11:37:39 CEST 2012
On Fri, 21 Sep 2012, Jasmin Christian Blanchette wrote:
> Am 21.09.2012 um 09:18 schrieb Tobias Nipkow:
>> The testboard runs most of the AFP.
> For the last three days, neither the tests nor testboard have been working.
For me there is still some dark matter here that I don't understand. The
totality of Mira configuration is difficult to see.
Without looking, I suspect that the update to polyml-5.5.0
Isabelle/617869cd779c confuses Mira, which still has some odd references
to the old /home/isabelle/contrib_devel with its funny symlinks.
More information about the isabelle-dev