../ irish.dtx 20-May-2013 12:47 7752 irish.ins 20-May-2013 12:47 4934 irish.pdf 20-May-2013 12:47 107K