[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Tue Jun 8 12:40:05 CEST 2010

On Tue, 8 Jun 2010, Alexander Krauss wrote:

> 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

After one more iteration on the crontab, there is now a better chance that 
it actually works.  At least the error reporting did work out.


More information about the isabelle-dev mailing list