MINE_COMMANDS
Commands used while mining:
To Tunnel: tunnel <direction>
Mining for ore: mine
See also: MINING for the other mine helpfiles.