equal
deleted
inserted
replaced
80 floating-point notation that coincides with the inner syntax for |
80 floating-point notation that coincides with the inner syntax for |
81 float_token. |
81 float_token. |
82 |
82 |
83 |
83 |
84 *** Pure *** |
84 *** Pure *** |
|
85 |
|
86 * Replaced command 'nonterminals' by slightly modernized version |
|
87 'nonterminal' (with 'and' separated list of arguments). |
|
88 INCOMPATIBILITY. |
85 |
89 |
86 * Command 'notepad' replaces former 'example_proof' for |
90 * Command 'notepad' replaces former 'example_proof' for |
87 experimentation in Isar without any result. INCOMPATIBILITY. |
91 experimentation in Isar without any result. INCOMPATIBILITY. |
88 |
92 |
89 * Support for real valued preferences (with approximative PGIP type). |
93 * Support for real valued preferences (with approximative PGIP type). |