equal
deleted
inserted
replaced
34 |
34 |
35 * Simplified configuration options for syntax ambiguity: see |
35 * Simplified configuration options for syntax ambiguity: see |
36 "syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref |
36 "syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref |
37 manual. Minor INCOMPATIBILITY. |
37 manual. Minor INCOMPATIBILITY. |
38 |
38 |
39 * Updated and extended reference manuals: "isar-ref" and |
39 * Updated and extended reference manuals: "isar-ref", |
40 "implementation"; reduced remaining material in old "ref" manual. |
40 "implementation", "system"; reduced remaining material in old "ref" |
|
41 manual. |
41 |
42 |
42 |
43 |
43 *** Pure *** |
44 *** Pure *** |
44 |
45 |
45 * Auxiliary contexts indicate block structure for specifications with |
46 * Auxiliary contexts indicate block structure for specifications with |