[isabelle-dev] An experience report on the testboard

[Lars Hupel]

> 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.

Cheers
Lars