NEWS
changeset 37264 8b931fb51cc6
parent 37260 dde817e6dfb1
child 37272 e0940e692abb
equal deleted inserted replaced
37263:54c15abf3b93 37264:8b931fb51cc6
   433   - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and
   433   - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and
   434     "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and
   434     "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and
   435     "SAT4J_Light".  INCOMPATIBILITY.
   435     "SAT4J_Light".  INCOMPATIBILITY.
   436   - Removed "skolemize", "uncurry", "sym_break", "flatten_prop",
   436   - Removed "skolemize", "uncurry", "sym_break", "flatten_prop",
   437     "sharing_depth", and "show_skolems" options.  INCOMPATIBILITY.
   437     "sharing_depth", and "show_skolems" options.  INCOMPATIBILITY.
       
   438   - Removed "nitpick_intro" attribute.  INCOMPATIBILITY.
   438 
   439 
   439 * Moved the SMT binding into the HOL image.
   440 * Moved the SMT binding into the HOL image.
   440 
   441 
   441 
   442 
   442 *** HOLCF ***
   443 *** HOLCF ***