[isabelle-dev] Thank you for all the great improvements
bulwahn at in.tum.de
Wed Sep 19 10:07:01 CEST 2012
I have just installed the Isabelle development repository on one of the
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