clean-ide - Revision 626: /tags/release-2-0/Interfaces/ProverOptions