[isabelle-dev] Towards the next Isabelle release

[Makarius]

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.


 	Makarius