judding
now historical
noun
A method of working in which some of the coal forming a pillar is taken away, the resulting space being supported by props until all the coal has been removed.
Origin
Early 19th century; earliest use found in Edinburgh New Philosophical Journal.