# HG changeset patch
# User wenzelm
# Date 1530033431 -7200
# Node ID b20980997cd205d0cdf0f721eeb5e0af1831d9db
# Parent  88b0e63d58a5558b5c7af1f881447488171d5c78
tuned;

diff -r 88b0e63d58a5 -r b20980997cd2 src/Doc/System/Environment.thy
--- 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>
diff -r 88b0e63d58a5 -r b20980997cd2 src/Doc/System/Server.thy
--- 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
diff -r 88b0e63d58a5 -r b20980997cd2 src/Doc/System/Sessions.thy
--- 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.