changeset 44069 | 2ed2f092e990 |
parent 44047 | 831d28439b3a |
child 44190 | 048c7eea1a71 |
1.1 --- a/NEWS Tue Jun 07 07:57:24 2011 +0200 1.2 +++ b/NEWS Tue Jun 07 08:52:35 2011 +0200 1.3 @@ -86,7 +86,8 @@ 1.4 - Added "type_sys", "max_mono_iters", and "max_new_mono_instances" options. 1.5 1.6 * Metis: 1.7 - - Obsoleted "metisF" -- use "metis" instead. 1.8 + - Removed "metisF" -- use "metis" instead. 1.9 + - Obsoleted "metisFT" -- use "metis (full_types)" instead. 1.10 1.11 * "try": 1.12 - Added "simp:", "intro:", and "elim:" options.