[isabelle-dev] Towards the next Isabelle release

Alexander Krauss krauss at in.tum.de
Tue Jun 8 12:29:54 CEST 2010

Makarius wrote:
>   * There is a minimal test on x86-linux for
>     http://isabelle.in.tum.de/repos/isabelle with results being published
>     on testboard.  (Maybe Alex can explain how to access them.)

The results can be accessed at

The last run did not work properly though... there seems to be a problem 
with the settings...?



More information about the isabelle-dev mailing list