code: public DbHistory[] get_device_property_history(String devname, String propname) throws DevFailed {
  		return databaseDAO.get_device_property_history(this, devname, propname);
  	}
docs: ==========================================================================