Alfredo, Arthur, I just merged changed from trunk into your respective branches.
-- Gaby ------------------------------------------------------------------------------ _______________________________________________ open-axiom-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
