| changeset 41846 | b368a7aee46a |
| parent 41792 | ff3cb0c418b7 |
| child 41877 | 3f9adc372e0a |
--- a/NEWS Fri Feb 25 16:57:44 2011 +0100 +++ b/NEWS Fri Feb 25 16:59:48 2011 +0100 @@ -27,6 +27,9 @@ - sledgehammer available_provers ~> sledgehammer supported_provers INCOMPATIBILITY. +* Function package: discontinued option "tailrec". +INCOMPATIBILITY. Use partial_function instead. + *** Document preparation ***