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