--- a/src/Doc/System/Environment.thy Tue Jun 26 19:16:14 2018 +0200
+++ b/src/Doc/System/Environment.thy Tue Jun 26 19:17:11 2018 +0200
@@ -73,7 +73,7 @@
minimum.
\<^medskip>
- A few variables are somewhat special, e.g. @{setting_def ISABELLE_TOOL} is
+ A few variables are somewhat special, e.g.\ @{setting_def ISABELLE_TOOL} is
set automatically to the absolute path name of the @{executable isabelle}
executables.
@@ -207,7 +207,7 @@
files.
\<^descr>[@{setting_def ISABELLE_TOOL_JAVA_OPTIONS}] is passed to the \<^verbatim>\<open>java\<close>
- executable when running Isabelle tools (e.g. @{tool build}). This is
+ executable when running Isabelle tools (e.g.\ @{tool build}). This is
occasionally helpful to provide more heap space, via additional options like
\<^verbatim>\<open>-Xms1g -Xmx4g\<close>.
\<close>
--- a/src/Doc/System/Server.thy Tue Jun 26 19:16:14 2018 +0200
+++ b/src/Doc/System/Server.thy Tue Jun 26 19:17:11 2018 +0200
@@ -481,7 +481,7 @@
when building a session image). Apart from a regular output message, it also
reveals the formal theory name (e.g.\ \<^verbatim>\<open>"HOL.Nat"\<close>) and session name (e.g.\
\<^verbatim>\<open>"HOL"\<close>). Note that some rare theory names lack a proper session prefix,
- e.g. theory \<^verbatim>\<open>"Main"\<close> in session \<^verbatim>\<open>"HOL"\<close>.
+ e.g.\ theory \<^verbatim>\<open>"Main"\<close> in session \<^verbatim>\<open>"HOL"\<close>.
\<^item> \<^bold>\<open>type\<close>~\<open>timing = {elapsed: double, cpu: double, gc: double}\<close> refers to
common Isabelle timing information in seconds, usually with a precision of
--- a/src/Doc/System/Sessions.thy Tue Jun 26 19:16:14 2018 +0200
+++ b/src/Doc/System/Sessions.thy Tue Jun 26 19:17:11 2018 +0200
@@ -565,7 +565,7 @@
-n no build of session
-o OPTION override Isabelle system OPTION (via NAME=VAL or NAME)
-s system build mode for session image
- -x PATTERN extract files matching pattern (e.g. "*:**" for all)
+ -x PATTERN extract files matching pattern (e.g.\ "*:**" for all)
List or export theory exports for SESSION: named blobs produced by
isabelle build. Option -l or -x is required; option -x may be repeated.