| changeset 62519 | a564458f94db |
| parent 62514 | aae510e9a698 |
| child 62521 | 6383440f41a8 |
--- a/NEWS Sat Mar 05 13:57:25 2016 +0100 +++ b/NEWS Sat Mar 05 17:01:45 2016 +0100 @@ -197,6 +197,10 @@ balanced blocks of Local_Theory.open_target versus Local_Theory.close_target instead. Rare INCOMPATIBILITY. +* Structure TimeLimit (originally from the SML/NJ library) has been +replaced by structure Timeout, with slightly different signature. +INCOMPATIBILITY. + *** System ***