tuned;
authorwenzelm
Thu Mar 22 17:18:33 2018 +0100 (14 months ago)
changeset 679270b70405b3969
parent 67926 e6b9703b9656
child 67928 7f5b1b6f7f40
child 67929 30486b96274d
tuned;
src/Doc/System/Server.thy
     1.1 --- a/src/Doc/System/Server.thy	Thu Mar 22 17:06:15 2018 +0100
     1.2 +++ b/src/Doc/System/Server.thy	Thu Mar 22 17:18:33 2018 +0100
     1.3 @@ -991,7 +991,7 @@
     1.4    Process some example theory from the Isabelle distribution, within the
     1.5    context of an already started session for Isabelle/HOL (see also
     1.6    \secref{sec:command-session-start}):
     1.7 -  @{verbatim [display] \<open>use_theories {"session_id": ..., "theories": ["~~/src/HOL/Isar_Examples/Drinker"]}\<close>}
     1.8 +  @{verbatim [display] \<open>use_theories {"session_id": ..., "theories": ["~~/src/HOL/ex/Seq"]}\<close>}
     1.9  
    1.10    \<^medskip>
    1.11    Process some example theories in the context of their (single) parent