[isabelle-dev] An experience report on the testboard

Lars Hupel hupel at in.tum.de
Sat Jul 2 22:45:10 CEST 2016

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.


More information about the isabelle-dev mailing list