equal
deleted
inserted
replaced
100 |
100 |
101 * Scala (2.8 or higher) has been added to the target languages of |
101 * Scala (2.8 or higher) has been added to the target languages of |
102 the code generator. |
102 the code generator. |
103 |
103 |
104 * Dropped type classes mult_mono and mult_mono1. INCOMPATIBILITY. |
104 * Dropped type classes mult_mono and mult_mono1. INCOMPATIBILITY. |
|
105 |
|
106 * Removed output syntax "'a ~=> 'b" for "'a => 'b option". INCOMPATIBILITY. |
105 |
107 |
106 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; |
108 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras; |
107 canonical names for instance definitions for functions; various improvements. |
109 canonical names for instance definitions for functions; various improvements. |
108 INCOMPATIBILITY. |
110 INCOMPATIBILITY. |
109 |
111 |