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 * Empty class specifications observe default sort. INCOMPATIBILITY. |
86 |
88 |
87 * Old 'axclass' has been discontinued. Use 'class' instead. INCOMPATIBILITY. |
89 * Old 'axclass' has been discontinued. Use 'class' instead. INCOMPATIBILITY. |
88 |
90 |
89 * Code generator: simple concept for abstract datatypes obeying invariants. |
91 * Code generator: simple concept for abstract datatypes obeying invariants. |
90 |
92 |