equal
deleted
inserted
replaced
118 - New option: |
118 - New option: |
119 smt_proofs |
119 smt_proofs |
120 - Renamed options: |
120 - Renamed options: |
121 isar_compress ~> compress_isar |
121 isar_compress ~> compress_isar |
122 isar_try0 ~> try0_isar |
122 isar_try0 ~> try0_isar |
|
123 INCOMPATIBILITY. |
|
124 |
|
125 * Metis: |
|
126 - Removed legacy proof method 'metisFT'. Use 'metis (full_types)' instead. |
123 INCOMPATIBILITY. |
127 INCOMPATIBILITY. |
124 |
128 |
125 * Try0: Added 'algebra' and 'meson' to the set of proof methods. |
129 * Try0: Added 'algebra' and 'meson' to the set of proof methods. |
126 |
130 |
127 * The symbol "\<newline>" may be used within char or string literals |
131 * The symbol "\<newline>" may be used within char or string literals |