[isabelle-dev] Fwd: status (AFP)

[Jasmin Christian Blanchette]

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.

    http://isabelle.in.tum.de/reports/Isabelle
    http://isabelle.in.tum.de/testboard/Isabelle

Jasmin