equal
deleted
inserted
replaced
86 'hide_fact' replace the former 'hide' KIND command. Minor |
86 'hide_fact' replace the former 'hide' KIND command. Minor |
87 INCOMPATIBILITY. |
87 INCOMPATIBILITY. |
88 |
88 |
89 |
89 |
90 *** Pure *** |
90 *** Pure *** |
|
91 |
|
92 * 'code_reflect' allows to incorporate generated ML code into |
|
93 runtime environment; replaces immature code_datatype antiquotation. |
|
94 INCOMPATIBILITY. |
91 |
95 |
92 * Empty class specifications observe default sort. INCOMPATIBILITY. |
96 * Empty class specifications observe default sort. INCOMPATIBILITY. |
93 |
97 |
94 * Old 'axclass' has been discontinued. Use 'class' instead. INCOMPATIBILITY. |
98 * Old 'axclass' has been discontinued. Use 'class' instead. INCOMPATIBILITY. |
95 |
99 |