[isabelle-dev] Towards the next Isabelle release

[Alexander Krauss]

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
https://www4.in.tum.de/~krauss/hg/testboard/

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

https://www4.in.tum.de/~krauss/hg/testboard/test_result/minimal-test_e3fa4de0161af751

Alex