Adding new formats
Editing options for proof jobs