[isabelle-dev] Fwd: status (AFP)

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Fri Sep 21 10:54:44 CEST 2012


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




More information about the isabelle-dev mailing list