| changeset 44891 | 0ff207302573 |
| parent 44888 | e099fc6f59be |
| child 44894 | 1c7991210f62 |
| child 44895 | c553044e8a3e |
--- a/NEWS Mon Sep 12 07:55:43 2011 +0200 +++ b/NEWS Mon Sep 12 09:07:23 2011 +0200 @@ -170,6 +170,9 @@ * Declare ext [intro] by default. Rare INCOMPATIBILITY. +* The misleading name fastsimp has been renamed to fastforce, + but fastsimp is still available as a legacy feature. + * Nitpick: - Added "need" and "total_consts" options. - Reintroduced "show_skolems" option by popular demand.