Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
some message;
authorwenzelm
Thu, 17 May 2012 15:58:57 +0200
changeset 47882 ed5f56b8f90a
parent 47881 45a3a1c320d8
child 47883 9dcfcdbdb2ba
some message;
Admin/Cygwin/init.bat file | annotate | diff | comparison | revisions 
--- a/Admin/Cygwin/init.bat	Thu May 17 15:23:00 2012 +0200
+++ b/Admin/Cygwin/init.bat	Thu May 17 15:58:57 2012 +0200
@@ -3,5 +3,6 @@
 cd "%~dp0"
 cd "..\.."
 
+echo Initializing ...
 "contrib\cygwin-1.7.9\bin\ash" /bin/rebaseall
 "contrib\cygwin-1.7.9\bin\bash" -c "PATH=/bin; chmod -wx $(find heaps -type f); mkpasswd -l >/etc/passwd; mkgroup -l >/etc/group"
isabelle