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/rsyncd
author boehmes
Wed, 12 May 2010 23:54:00 +0200
changeset 36896 c030819254d3
parent 36859 51af1657263b
permissions -rwxr-xr-x
use proper context operations (for fresh names of type and term variables, and for hypothetical definitions), monomorphize theorems (instead of terms, necessary for hypothetical definitions made during lambda lifting)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12721
226fc0e2e7e3 #!/usr/bin/env bash;
wenzelm
parents: 8346
diff changeset 
     1
 
#!/usr/bin/env bash
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     2
 
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     3
 
# rsync server start script
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     4
 







28511






e79fad5c16a6
updated to official version as of 07-Oct-2008;



wenzelm


parents: 
26371

diff
changeset




     5


/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf








8346






562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




     6
















isabelle