NEWS
changeset 41877 3f9adc372e0a
parent 41846 b368a7aee46a
child 41886 aa8dce9ab8a9
equal deleted inserted replaced
41876:03f699556955 41877:3f9adc372e0a
    18 
    18 
    19 
    19 
    20 *** HOL ***
    20 *** HOL ***
    21 
    21 
    22 * Nitpick:
    22 * Nitpick:
       
    23   - Added "need" and "total_consts" options.
    23   - Renamed attribute: nitpick_def ~> nitpick_unfold.
    24   - Renamed attribute: nitpick_def ~> nitpick_unfold.
    24     INCOMPATIBILITY.
    25     INCOMPATIBILITY.
    25 
    26 
    26 * Sledgehammer:
    27 * Sledgehammer:
    27   - sledgehammer available_provers ~> sledgehammer supported_provers
    28   - sledgehammer available_provers ~> sledgehammer supported_provers