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