Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#133
Document unicode input method in README
@jung
do it for emacs
@robbertkrebbers
do it for CoqIDE
Edited
Dec 07, 2018
by
Robbert Krebbers