*/
  public static void help(Cons commands) {
    { Cons thecommands = commands;

      if (thecommands == Stella.NIL) {
        {
          System.out.println("The following commands are available (type `(help <command>+)'");
          System.out.println("to get command-specific documentation):");
          System.out.println();
        }
;
        { List allcommands = Logic.listLogicCommands();

          { MethodSlot command = null;
            Cons iter000 = allcommands.theConsList;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              command = ((MethodSlot)(iter000.value));
              if (((StringWrapper)(KeyValueList.dynamicSlotValue(command.dynamicSlots, Logic.SYM_STELLA_DOCUMENTATION, Stella.NULL_STRING_WRAPPER))).wrapperValue != null) {
                command.printDocumentation(Stella.STANDARD_OUTPUT, true);
              }
            }
          }
          {
            System.out.println();
            System.out.println("Undocumented Commands:");
            System.out.println();
          }
;
          { MethodSlot command = null;
            Cons iter001 = allcommands.theConsList;

            for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
              command = ((MethodSlot)(iter001.value));
              if (!(((StringWrapper)(KeyValueList.dynamicSlotValue(command.dynamicSlots, Logic.SYM_STELLA_DOCUMENTATION, Stella.NULL_STRING_WRAPPER))).wrapperValue != null)) {
                System.out.println(command.slotName + ":");
              }
            }
          }
        }
      }
      else {
        { Symbol commandname = null;
          Cons iter002 = thecommands;

          for (;!(iter002 == Stella.NIL); iter002 = iter002.rest) {
            commandname = ((Symbol)(iter002.value));
            { MethodSlot command = Symbol.lookupCommand(commandname);

              if (command != null) {
                command.printDocumentation(Stella.STANDARD_OUTPUT, false);
              }
              else {
                System.out.println("Undefined command: `" + commandname + "'");
              }
            }
          }
        }
      }
    }
  }