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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
