src/Doc/JEdit/JEdit.thy

     -f           fresh build
     -j OPTION    add jEdit runtime option
     -l NAME      logic image name
     -m MODE      add print mode for output
     -n           no build of session image on startup
+    -p CMD       ML process command prefix (process policy)
     -s           system build mode for session image
 
   Start jEdit with Isabelle plugin setup and open FILES
   (default "$USER_HOME/Scratch.thy" or ":" for empty buffer).\<close>}
 

 
   The \<^verbatim>\<open>-n\<close> option reports the server name, and the \<^verbatim>\<open>-s\<close> option provides a
   different server name. The default server name is the official distribution
   name (e.g.\ \<^verbatim>\<open>Isabelle2016\<close>). Thus @{tool jedit_client} can connect to the
   Isabelle desktop application without further options.
+
+  The \<^verbatim>\<open>-p\<close> option allows to override the implicit default of the system
+  option @{system_option_ref ML_process_policy} for ML processes started by
+  the Prover IDE, e.g. to control CPU affinity on multiprocessor systems.
 
   The JVM system property \<^verbatim>\<open>isabelle.jedit_server\<close> provides a different server
   name, e.g.\ use \<^verbatim>\<open>isabelle jedit -Disabelle.jedit_server=\<close>\<open>name\<close> and
   \<^verbatim>\<open>isabelle jedit_client -s\<close>~\<open>name\<close> to connect later on.
 \<close>