[isabelle-dev] An experience report on the testboard

[Lars Hupel]

Hi Florian,

thanks for your feedback! Commenting in some more detail will take me
some time, but for now a quick reply:

> 1. Changesets to dist and AFP exist as hg patches.

This is currently not implemented. Isabelle testboard will always use
AFP devel and vice versa. It is not possible to test Isabelle testboard
and AFP testboard together.

Cheers
Lars