HomeIsabelle/Phabricator

more accurate token types;

Description

more accurate token types;
keep untyped tokens for complete covering;

Details

Provenance
makariusAuthored on
Parents
rISABELLEb0ad975cd25b: clarified JS namespace;
Branches
Unknown
Tags
Unknown