Code Editor : progress.sty