Closed jbellik closed 3 years ago
Change "Tree display options" to "Tree marking options"
Add head side selection to BinMaxHead constraints.
It would be nice to have makeTableau always put heads on the parenthesized trees if they are marked on the backend.
Also remove "(Japanese)" notation on the "Mark heads" options
Change "Tree display options" to "Tree marking options"
Add head side selection to BinMaxHead constraints.