Skip to content

Document CoqIDE Unicode binding configuration

Tej Chajed requested to merge tchajed/iris-coq:coqide-unicode-config into master

Fixes #269 (closed).

Merge request reports