[isabelle-dev] Automated testing questions

Clemens Ballarin ballarin at in.tum.de
Sun Mar 17 20:43:45 CET 2013

Dear Developers,

What it the current best practice for testing my change to Isabelle?   
There used to be testboard, but I'm unsure how that evolved.  Is there  
a similar service for testing my change to Isabelle against the AFP?

Also, which server should I use for pushing my changes to Isabelle so  
as to avoid repository trouble?


More information about the isabelle-dev mailing list