Meaning of coal gas

(noun) gaseous mixture produced by distillation of bituminous coal and used for heating and lighting