src/Doc/System/Basics.thy
changeset 51057 a22b134f862e
parent 50197 b385d134926d
child 51434 e19a22974c72
     1.1 --- a/src/Doc/System/Basics.thy	Sat Jan 26 13:49:48 2013 +0100
     1.2 +++ b/src/Doc/System/Basics.thy	Sat Jan 26 16:10:50 2013 +0100
     1.3 @@ -495,10 +495,6 @@
     1.4  isabelle-process -r Test
     1.5  \end{ttbox}
     1.6  
     1.7 -  \medskip Note that manual session management like this does
     1.8 -  \emph{not} provide proper setup for theory presentation.  This would
     1.9 -  require @{tool usedir}.
    1.10 -
    1.11    \bigskip The next example demonstrates batch execution of Isabelle.
    1.12    We retrieve the @{verbatim Main} theory value from the theory loader
    1.13    within ML (observe the delicate quoting rules for the Bash shell