[isabelle-dev] An experience report on the testboard

Lars Hupel hupel at in.tum.de
Wed Jul 6 09:45:40 CEST 2016

> What I see from this thread is that at some time we really have to talk
> about official build orders with respective hg ids, either using
> subrepos or whatever.

That is accurate. So far we have largely avoided the need to do that,
but with an ever growing AFP we need to figure out some workflow to
allow large-scale refactorings without perma-red builds.


More information about the isabelle-dev mailing list