../ interlingua.dtx 20-May-2013 12:47 7124 interlingua.ins 20-May-2013 12:47 4952 interlingua.pdf 20-May-2013 12:47 107K