[Agda] Using .Xcompose file on Fedora 21
Colin Adams
colinpauladams at gmail.com
Thu Apr 30 19:10:17 CEST 2015
I've been looking at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.XCompose, and trying
to use a .XCompose file like it suggests.
It's not working.
I note that this page was last modified on February 25, 2012. Does it still
apply these days, or are the instructions out of date?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150430/36b68f85/attachment.html
More information about the Agda
mailing list