src/Doc/Tutorial/Documents/Documents.thy
changeset 67042 677cab7c2b85
parent 61593 810486f886bf
child 67398 5eb932e604a2
     1.1 --- a/src/Doc/Tutorial/Documents/Documents.thy	Sat Nov 11 14:35:41 2017 +0100
     1.2 +++ b/src/Doc/Tutorial/Documents/Documents.thy	Sat Nov 11 14:55:30 2017 +0100
     1.3 @@ -351,7 +351,7 @@
     1.4    preparation) may be produced as follows:
     1.5  
     1.6  \begin{verbatim}
     1.7 -  isabelle mkroot -d MySession
     1.8 +  isabelle mkroot MySession
     1.9    isabelle build -D MySession
    1.10  \end{verbatim}
    1.11