--- a/src/Doc/System/Misc.thy Sun Apr 06 16:36:28 2014 +0200
+++ b/src/Doc/System/Misc.thy Sun Apr 06 16:59:41 2014 +0200
@@ -200,7 +200,7 @@
distribution directory as determined by @{setting ISABELLE_HOME}.
The @{text BINDIR} argument tells where executable wrapper scripts
- for @{executable "isabelle-process"} and @{executable isabelle}
+ for @{executable "isabelle_process"} and @{executable isabelle}
should be placed, which is typically a directory in the shell's
@{setting PATH}, such as @{verbatim "$HOME/bin"}.