Sophie
@msfiles = ("openmath"); @gdfiles = ("../gap/omput", "../gap/parse", "../gap/omget", "../gap/test"); $LIB = "../gap";