--- 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.