Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Cygwin/init.bat
author kuncar
Thu, 24 May 2012 14:20:23 +0200
changeset 47982 7aa35601ff65
parent 47882 ed5f56b8f90a
permissions -rwxr-xr-x
prove reflexivity also for the quotient composition relation; reflp_preserve renamed to reflexivity_rule
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47873
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset 
     1
 
@echo off
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset 
     2
 












1636ff4c6243
init Cygwin after unpacking;



wenzelm


parents: 

diff
changeset




     3


cd "%~dp0"













1636ff4c6243
init Cygwin after unpacking;



wenzelm


parents: 

diff
changeset




     4


cd "..\.."













1636ff4c6243
init Cygwin after unpacking;



wenzelm


parents: 

diff
changeset




     5









47882






ed5f56b8f90a
some message;



wenzelm


parents: 
47873

diff
changeset




     6


echo Initializing ...








47873






1636ff4c6243
init Cygwin after unpacking;



wenzelm


parents: 

diff
changeset




     7


"contrib\cygwin-1.7.9\bin\ash" /bin/rebaseall













1636ff4c6243
init Cygwin after unpacking;



wenzelm


parents: 

diff
changeset




     8


"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