copper icon indicating copy to clipboard operation
copper copied to clipboard

Separate disambiguation functions from disambiguation groups in XML dump.

Open schwerdf opened this issue 8 years ago • 1 comments

Currently, the XML- and HTML-format dumps make no distinction between disambiguation functions that disambiguate non-declaratively and disambiguation groups that always disambiguate to the same terminal. This should be added as part of the resolution of ticket #25.

schwerdf avatar Dec 20 '17 05:12 schwerdf

This should be deferred until after the upcoming changes to disambiguation functions.

schwerdf avatar Nov 16 '18 03:11 schwerdf