Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/System/Server.thy
changeset 83532 87d095351f8e
parent 79724 54d0f6edfe3a 
--- a/src/Doc/System/Server.thy	Sat Nov 08 17:29:57 2025 +0100
+++ b/src/Doc/System/Server.thy	Sat Nov 08 20:06:42 2025 +0100
@@ -11,7 +11,7 @@
   heavy: Isabelle/Scala for the system infrastructure and Isabelle/ML for the
   logic session (e.g.\ HOL). In principle, these processes can be invoked
   directly on the command-line, e.g.\ via @{tool java}, @{tool scala}, @{tool
-  process}, @{tool console}, but this approach is inadequate for reactive
+  ML_process}, @{tool console}, but this approach is inadequate for reactive
   applications that require quick responses from the prover.
 
   In contrast, the Isabelle server exposes Isabelle/Scala as a
@@ -806,7 +806,7 @@
   The \<open>print_mode\<close> field adds identifiers of print modes to be made active for
   this session. For example, \<^verbatim>\<open>"print_mode": ["ASCII"]\<close> prefers ASCII
   replacement syntax over mathematical Isabelle symbols. See also option \<^verbatim>\<open>-m\<close>
-  in @{tool process} (\secref{sec:tool-process}).
+  in @{tool ML_process} (\secref{sec:tool-ml-process}).
 \<close>
isabelle