Rename fletch -> dartino

pkg/dartino_compiler/lib/src/verbs/documentation.dart

Index: pkg/dartino_compiler/lib/src/verbs/documentation.dart
diff --git a/pkg/fletchc/lib/src/verbs/documentation.dart b/pkg/dartino_compiler/lib/src/verbs/documentation.dart
similarity index 85%
rename from pkg/fletchc/lib/src/verbs/documentation.dart
rename to pkg/dartino_compiler/lib/src/verbs/documentation.dart
index 93c5ec68edd6cee14d2cf6ccf845d6329bbc42fb..abca7b5025dc570aae4806b15f51668c6786b3f9 100644
--- a/pkg/fletchc/lib/src/verbs/documentation.dart
+++ b/pkg/dartino_compiler/lib/src/verbs/documentation.dart
@@ -2,13 +2,13 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-library fletchc.verbs.documentation;
+library dartino_compiler.verbs.documentation;
 
 const String synopsis = """
-Manages interactions with the fletch compiler and runtime.
-Example: fletch run sample.dart
+Manages interactions with the dartino compiler and runtime.
+Example: dartino run sample.dart
 
-Usage: fletch <action> [<argument>]...
+Usage: dartino <action> [<argument>]...
  where <action> is one of the following:""";
 
 const String debugDocumentation = """
@@ -59,7 +59,8 @@ const String debugDocumentation = """
              Restart the selected frame
 
    debug run-to-main
-             Run the compiled code on the Fletch VM and break at the main method
+             Run the compiled code on the Dartino VM and break at the main
+             method
 
    debug step
              Step to next source position
@@ -84,7 +85,7 @@ const String helpDocumentation = """
 const String createDocumentation = """
    create session <name> [with <settings file>]
              Create a new session with the given name.  Read settings from
-             <settings file> (defaults to '.fletch-settings').
+             <settings file> (defaults to '.dartino-settings').
 
              Settings are specified in JSON (comments allowed):
 
@@ -115,12 +116,12 @@ const String compileDocumentation = """
 
 const String attachDocumentation = """
    attach tcp_socket [<host>:]<port>
-             Attach to Fletch VM on the given socket
+             Attach to Dartino VM on the given socket
 """;
 
 const String runDocumentation = """
    run [<file>] [in session remote]
-             Run <file> on the Fletch VM. If no <file> is given, run the
+             Run <file> on the Dartino VM. If no <file> is given, run the
              previous file. Defaults to running on the local PC;
              use 'in session remote' to run remotely.
 """;
@@ -132,7 +133,7 @@ const String endDocumentation = """
 
 const String servicecDocumentation = """
    x-servicec <file>
-             Compile service IDL file named <file> to custom Fletch interface
+             Compile service IDL file named <file> to custom Dartino interface
 """;
 
 const String exportDocumentation = """
@@ -142,13 +143,13 @@ const String exportDocumentation = """
 """;
 
 const String quitDocumentation = """
-   quit      Quits the Fletch background process, and terminates all
-             Fletch sessions currently running.
+   quit      Quits the Dartino background process, and terminates all
+             Dartino sessions currently running.
 """;
 
 const String showDocumentation = """
    show devices
-             Show all Fletch capable devices connected
+             Show all Dartino capable devices connected
              directly or available on the network
 
    show log [in session <name>]