[isabelle-dev] Thank you for all the great improvements

Lukas Bulwahn bulwahn at in.tum.de
Wed Sep 19 10:07:01 CEST 2012

Hi all,

I have just installed the Isabelle development repository on one of the 
remote machines.
With the new build system, the component management and PolyML 5.5, I 
got a system up and running in less than 20 minutes.
In former times, it usually took me 20 minutes just to get an updated 
Isabelle again working on some remote machine.

I want to thank everyone involved for these great improvements.


More information about the isabelle-dev mailing list