code: public DeviceDataHistory[] command_history(String cmdname, int nb) throws DevFailed {
          return deviceProxyDAO.command_history(this, cmdname, nb);
      }
docs: ==========================================================================