On Thu, 30 May 2013, Lukas Bulwahn wrote:
I used the Bavarian holiday today to get the aforementioned Quickcheck
tool into a stable state. The latest stable version is at:
https://bitbucket.org/nicolai490/qcheck_tum
I've started looking, and will come back on this in a few minites.
(For now just a fresh mail thread on a fresh topic.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
