src/Doc/System/Sessions.thy
changeset 64308 b00508facb4f
parent 64265 8eb6365f5916
child 65374 a5b38d8d3c1e
equal deleted inserted replaced
64307:c4d16f35c6e7 64308:b00508facb4f
   212     performance.
   212     performance.
   213 
   213 
   214     The timer is controlled outside the ML process by the JVM that runs
   214     The timer is controlled outside the ML process by the JVM that runs
   215     Isabelle/Scala. Thus it is relatively reliable in canceling processes that
   215     Isabelle/Scala. Thus it is relatively reliable in canceling processes that
   216     get out of control, even if there is a deadlock without CPU time usage.
   216     get out of control, even if there is a deadlock without CPU time usage.
       
   217 
       
   218     \<^item> @{system_option_def "profiling"} specifies a mode for global ML
       
   219     profiling. Possible values are the empty string (disabled), \<^verbatim>\<open>time\<close> for
       
   220     @{ML profile_time} and \<^verbatim>\<open>allocations\<close> for @{ML profile_allocations}.
       
   221     Results appear near the bottom of the session log file.
   217 
   222 
   218   The @{tool_def options} tool prints Isabelle system options. Its
   223   The @{tool_def options} tool prints Isabelle system options. Its
   219   command-line usage is:
   224   command-line usage is:
   220   @{verbatim [display]
   225   @{verbatim [display]
   221 \<open>Usage: isabelle options [OPTIONS] [MORE_OPTIONS ...]
   226 \<open>Usage: isabelle options [OPTIONS] [MORE_OPTIONS ...]