lib/Tools/mkdir

 if [ -n "$DOCUMENT" ]; then
   if [ -e document ]; then
     echo "keeping $PWD/document" >&2
   else
     mkdir document || fail "Bad directory: $PWD/document"
+    TITLE=$(echo "$NAME" | tr _ -)
     cat >document/root.tex <<EOF
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 

 \urlstyle{rm}
 \isabellestyle{it}
 
 \begin{document}
 
-\title{$NAME}\maketitle
+\title{$TITLE}\maketitle
 \tableofcontents
 
 \parindent 0pt\parskip 0.5ex
 \input{session}