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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
