Help save net neutrality! Learn more.
Close

#147 character Range Cut

open
nobody
None
5
2012-10-02
2011-11-24
No

when using UTF8 or similar encodings all characters
are considered. A convenient feature would be to enable
cutting of a character range for so that the state machine
may shrink a bit, e.g.

MODE X <prune: [\Script{Greek}] {
...
}

and all regular expressions inside the mode may be pruned accordingly.

Discussion


Log in to post a comment.