--- a/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 20:16:47 2013 +0100 +++ b/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 20:24:51 2013 +0100 @@ -9,3 +9,4 @@ mkpasswd -l >/etc/passwd mkgroup -l >/etc/group +