more robust (amending add9a9f6a290): proper syntax error instead of exception for grammar with unreachable nonterminals, e.g. nonterminal f1 syntax "_F" :: "f1 ⇒ 'b" ("F _" 10);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE708d301205fe: merged
- Branches
- Unknown
- Tags