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