DEVTBL displays the names of the defined A-Shell devices. This is essentially just a list of the DEVICE= statements from the miame.ini file.

You can use the PPN command on any of the defined devices to display the available PPNs on that device.