src/HOL/Tools/Nitpick/HISTORY
changeset 33581 e1e77265fb1d
parent 33565 5fad8e36dfb1
child 33582 bdf98e327f0b
equal deleted inserted replaced
33580:45c33e97cb86 33581:e1e77265fb1d
     7   * Replaced "special_depth" and "skolemize_depth" options by "specialize"
     7   * Replaced "special_depth" and "skolemize_depth" options by "specialize"
     8     and "skolemize"
     8     and "skolemize"
     9   * Renamed "coalesce_type_vars" to "merge_type_vars"
     9   * Renamed "coalesce_type_vars" to "merge_type_vars"
    10   * Optimized Kodkod encoding of datatypes whose constructors don't appear in
    10   * Optimized Kodkod encoding of datatypes whose constructors don't appear in
    11     the formula to falsify
    11     the formula to falsify
       
    12   * Added support for codatatype view of datatypes
    12   * Fixed monotonicity check
    13   * Fixed monotonicity check
    13   * Fixed error in display of uncurried constants
    14   * Fixed error in display of uncurried constants
       
    15   * Speeded up scope enumeration
    14 
    16 
    15 Version 1.2.2 (16 Oct 2009)
    17 Version 1.2.2 (16 Oct 2009)
    16 
    18 
    17   * Added and implemented "star_linear_preds" option
    19   * Added and implemented "star_linear_preds" option
    18   * Added and implemented "format" option
    20   * Added and implemented "format" option