[isabelle-dev] Testing Isabelle against the AFP

Clemens Ballarin ballarin at in.tum.de
Sat Jan 15 14:02:54 CET 2022

Dear Developers,

there used to be infrastructure (called Testboard) for integration tests 
of Isabelle and the AFP. Does this still exist? If so, could somebody 
please provide me with instructions and, if necessary, access?


More information about the isabelle-dev mailing list