Delete prog.ml