equal
deleted
inserted
replaced
81 float_token. |
81 float_token. |
82 |
82 |
83 |
83 |
84 *** Pure *** |
84 *** Pure *** |
85 |
85 |
86 * Replaced command 'nonterminals' by slightly modernized version |
86 * Command 'type_synonym' (with single argument) replaces somewhat |
87 'nonterminal' (with 'and' separated list of arguments). |
87 outdated 'types', which is still available as legacy feature for some |
88 INCOMPATIBILITY. |
88 time. |
|
89 |
|
90 * Command 'nonterminal' (with 'and' separated list of arguments) |
|
91 replaces somewhat outdated 'nonterminals'. INCOMPATIBILITY. |
89 |
92 |
90 * Command 'notepad' replaces former 'example_proof' for |
93 * Command 'notepad' replaces former 'example_proof' for |
91 experimentation in Isar without any result. INCOMPATIBILITY. |
94 experimentation in Isar without any result. INCOMPATIBILITY. |
92 |
95 |
93 * Support for real valued preferences (with approximative PGIP type). |
96 * Support for real valued preferences (with approximative PGIP type). |