[isabelle-dev] An experience report on the testboard
hupel at in.tum.de
Sat Jul 2 22:45:10 CEST 2016
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