TMPDIRNAME=__${MARK}_compilation
SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"
TMPDIRNAME=__${MARK}_compilation
SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/"
MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"