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