aboutsummaryrefslogtreecommitdiff
path: root/ide/uim/coqide.scm
AgeCommit message (Expand)Author
2010-10-07TeX input method is now supported upstreamvgross
2010-02-18Adding uim filesvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 19:24:57 +0000