[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