NEWS
changeset 37311 90323e435a7f
parent 37305 9763792e4ac7
child 37316 52dc576f1759
equal deleted inserted replaced
37310:96e2b9a6f074 37311:90323e435a7f
    90 more efficient than combinations with -q1 or -q2.
    90 more efficient than combinations with -q1 or -q2.
    91 
    91 
    92 
    92 
    93 *** Pure ***
    93 *** Pure ***
    94 
    94 
    95 * Predicates of locales introduces by classes carry a mandatory
    95 * Predicates of locales introduced by classes carry a mandatory
    96 "class" prefix.  INCOMPATIBILITY.
    96 "class" prefix.  INCOMPATIBILITY.
    97 
    97 
    98 * Command 'code_reflect' allows to incorporate generated ML code into
    98 * Command 'code_reflect' allows to incorporate generated ML code into
    99 runtime environment; replaces immature code_datatype antiquotation.
    99 runtime environment; replaces immature code_datatype antiquotation.
   100 INCOMPATIBILITY.
   100 INCOMPATIBILITY.