[isabelle-dev] Towards the next Isabelle release
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...?
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