equal
deleted
inserted
replaced
35 Minor INCOMPATIBILITY. Note that in practice "num_const" or |
35 Minor INCOMPATIBILITY. Note that in practice "num_const" or |
36 "num_position" etc. are mainly used instead (which also include |
36 "num_position" etc. are mainly used instead (which also include |
37 position information via constraints). |
37 position information via constraints). |
38 |
38 |
39 * Simplified configuration options for syntax ambiguity: see |
39 * Simplified configuration options for syntax ambiguity: see |
40 "syntax_ambiguity" and "syntax_ambiguity_limit" in isar-ref manual. |
40 "syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref |
41 Minor INCOMPATIBILITY. |
41 manual. Minor INCOMPATIBILITY. |
42 |
42 |
43 |
43 |
44 *** Pure *** |
44 *** Pure *** |
45 |
45 |
46 * Discontinued old "prems" fact, which used to refer to the accidental |
46 * Discontinued old "prems" fact, which used to refer to the accidental |