_______________________________________________
Om-announce mailing list
Om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org
http://openmath.org/mailman/listinfo/om-announce