
diff -r fbcc2d314635 -r a22b134f862e src/Doc/System/Basics.thy
--- a/src/Doc/System/Basics.thy	Sat Jan 26 13:49:48 2013 +0100
+++ b/src/Doc/System/Basics.thy	Sat Jan 26 16:10:50 2013 +0100
@@ -495,10 +495,6 @@
 isabelle-process -r Test
 \end{ttbox}
 
-  \medskip Note that manual session management like this does
-  \emph{not} provide proper setup for theory presentation.  This would
-  require @{tool usedir}.
-
   \bigskip The next example demonstrates batch execution of Isabelle.
   We retrieve the @{verbatim Main} theory value from the theory loader
   within ML (observe the delicate quoting rules for the Bash shell




