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

[Lukas Bulwahn]

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.

Lukas