equal
deleted
inserted
replaced
33 xstr ~> str_token |
33 xstr ~> str_token |
34 |
34 |
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 |
|
39 * Simplified configuration options for syntax ambiguity: see |
|
40 "syntax_ambiguity" and "syntax_ambiguity_limit" in isar-ref manual. |
|
41 Minor INCOMPATIBILITY. |
38 |
42 |
39 |
43 |
40 *** Pure *** |
44 *** Pure *** |
41 |
45 |
42 * Discontinued old "prems" fact, which used to refer to the accidental |
46 * Discontinued old "prems" fact, which used to refer to the accidental |