NEWS
changeset 61228 e602ad539155
parent 61226 af7bed1360f3
child 61270 28eb608b9b59
equal deleted inserted replaced
61227:19ee25fe9737 61228:e602ad539155
   183 * Configuration option rule_insts_schematic has been discontinued
   183 * Configuration option rule_insts_schematic has been discontinued
   184 (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
   184 (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
   185 
   185 
   186 * Abbreviations in type classes now carry proper sort constraint.
   186 * Abbreviations in type classes now carry proper sort constraint.
   187 Rare INCOMPATIBILITY in situations where the previous misbehaviour
   187 Rare INCOMPATIBILITY in situations where the previous misbehaviour
   188 has been exploited previously.
   188 has been exploited.
   189 
   189 
   190 * Refinement of user-space type system in type classes: pseudo-local
   190 * Refinement of user-space type system in type classes: pseudo-local
   191 operations behave more similar to abbreviations.  Potential
   191 operations behave more similar to abbreviations.  Potential
   192 INCOMPATIBILITY in exotic situations.
   192 INCOMPATIBILITY in exotic situations.
   193 
   193