coq-unicode-tokens-set

Emacs feature

coq-unicode-tokens

The setter for coq-unicode-tokens variables.

As of <2025-07-09 Wed>, all this does is set the variable and then, if coq-unicode-tokens has been loaded, call proof-unicode-tokens-configure.