cronjob.sh revision 020e523c8e869bbd2dd19af560a32a2a9b6f6370
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slivePATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/Isabelle/Isabelle2013/bin:/home/linux-bkb/bin
1aa933455fcd538b1ee573f4566e1a78a89fce77nd#ssh bigmac date
59879db9d12c2ea10f77b2c44d6d3aba89bb9cb3slive#updateOMDoc
10d138ec146ac89447f231e9cc02c2ea434f08c4rbowen#svn up --force