changeset 44047 | 831d28439b3a |
parent 43772 | 6bc8a6dcb3e0 |
child 44069 | 2ed2f092e990 |
1.1 --- a/NEWS Mon Jun 06 20:36:35 2011 +0200 1.2 +++ b/NEWS Mon Jun 06 20:36:35 2011 +0200 1.3 @@ -85,6 +85,9 @@ 1.4 TPTP problems (TFF). 1.5 - Added "type_sys", "max_mono_iters", and "max_new_mono_instances" options. 1.6 1.7 +* Metis: 1.8 + - Obsoleted "metisF" -- use "metis" instead. 1.9 + 1.10 * "try": 1.11 - Added "simp:", "intro:", and "elim:" options. 1.12