equal
deleted
inserted
replaced
75 installed, and the environment variable "OLD_Z3_SOLVER" must point to |
75 installed, and the environment variable "OLD_Z3_SOLVER" must point to |
76 it. |
76 it. |
77 INCOMPATIBILITY. |
77 INCOMPATIBILITY. |
78 - The 'smt2' method has been renamed 'smt'. |
78 - The 'smt2' method has been renamed 'smt'. |
79 INCOMPATIBILITY. |
79 INCOMPATIBILITY. |
|
80 |
|
81 * List: renamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc |
80 |
82 |
81 |
83 |
82 *** ML *** |
84 *** ML *** |
83 |
85 |
84 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |
86 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |