On 19 Nov 2015, at 00:18, Lars Hupel <hu...@in.tum.de> wrote: > > […]
Lars, that all sounds awesome. Reckon you could make the status of the builds somehow public? (Right now I don’t know whether my patch to ConcurrentGC works or not, because I only get failure emails and don’t know when a build is run. I know, I should learn to stop worrying and love the silence. :-) cheers, peter _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
