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