# HG changeset patch
# User wenzelm
# Date 1397648149 -7200
# Node ID 1b153b98986048026c2b5f76f3cf4c5c10c655a2
# Parent  4f45570e532dcb477172485689ce91c14527c7a3
tuned spelling;

diff -r 4f45570e532d -r 1b153b989860 src/Doc/System/Basics.thy
--- a/src/Doc/System/Basics.thy	Wed Apr 16 13:28:21 2014 +0200
+++ b/src/Doc/System/Basics.thy	Wed Apr 16 13:35:49 2014 +0200
@@ -416,7 +416,7 @@
   \medskip Using the @{verbatim "-e"} option, arbitrary ML code may be
   passed to the Isabelle session from the command line. Multiple
   @{verbatim "-e"}'s are evaluated in the given order. Strange things
-  may happen when errorneous ML code is provided. Also make sure that
+  may happen when erroneous ML code is provided. Also make sure that
   the ML commands are terminated properly by semicolon.
 
   \medskip The @{verbatim "-m"} option adds identifiers of print modes
diff -r 4f45570e532d -r 1b153b989860 src/Doc/System/Interfaces.thy
--- a/src/Doc/System/Interfaces.thy	Wed Apr 16 13:28:21 2014 +0200
+++ b/src/Doc/System/Interfaces.thy	Wed Apr 16 13:35:49 2014 +0200
@@ -149,7 +149,7 @@
     -c           cleanup -- remove GRAPHFILE after use
     -o FILE      output to FILE (ps, eps, pdf)
 \end{ttbox}
-  When no filename is specified, the browser automatically changes to
+  When no file name is specified, the browser automatically changes to
   the directory @{setting ISABELLE_BROWSER_INFO}.
 
   \medskip The @{verbatim "-b"} option indicates that this is for
diff -r 4f45570e532d -r 1b153b989860 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Wed Apr 16 13:28:21 2014 +0200
+++ b/src/Doc/System/Sessions.thy	Wed Apr 16 13:35:49 2014 +0200
@@ -165,7 +165,7 @@
   includes a simple editing mode @{verbatim "isabelle-options"} for
   this file-format.
 
-  The following options are particulary relevant to build Isabelle
+  The following options are particularly relevant to build Isabelle
   sessions, in particular with document preparation
   (\chref{ch:present}).