On Mon, 10 Dec 2012, Makarius wrote:
I will update the official README_REPOSITORY shortly, to cover Windows as well.
See also http://isabelle.in.tum.de/repos/isabelle/file/ba9046bbb3ac/README_REPOSITORY
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
