Source : Webster's Revised Unabridged Dictionary (1913)

Vanning \Van"ning\, n. (Mining)
   A process by which ores are washed on a shovel, or in a
   vanner.