| changeset 62829 | 4141c2a8458b |
| parent 62677 | 0df43889f496 |
| child 62847 | 1bd1d8492931 |
--- a/src/Doc/System/Environment.thy Sun Apr 03 19:47:29 2016 +0200 +++ b/src/Doc/System/Environment.thy Sun Apr 03 21:32:57 2016 +0200 @@ -267,7 +267,7 @@ @{verbatim [display] \<open>Usage: isabelle TOOL [ARGS ...] - Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help. + Start Isabelle TOOL with ARGS; pass "-?" for tool-specific help. Available tools: ...\<close>}