Coal or rock-cutting machinery