On 06.11.2013 23:12, Jasmin Christian Blanchette wrote: > BTW is there any particular reason why testboard and tests are kind of dead > these days?
The reason is that none of the Mira daemons is running and for some reason I didn't get any notification about that. -- Lars
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
