changeset 42724 | 4d6bcf846759 |
parent 42706 | 936cd1c493b4 |
child 42740 | 31334a7b109d |
--- a/NEWS Thu May 12 15:29:18 2011 +0200 +++ b/NEWS Thu May 12 15:29:18 2011 +0200 @@ -69,7 +69,7 @@ INCOMPATIBILITY. - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed TPTP problems (TFF). - - Added "type_sys" and "monomorphize_limit" options. + - Added "type_sys", "max_mono_iters", and "max_mono_instances" options. * "try": - Added "simp:", "intro:", and "elim:" options.