[Om3] Results of the OM3 WG phone call yesterday
Michael Kohlhase
m.kohlhase at jacobs-university.de
Thu Dec 20 14:17:22 CET 2007
Dear OM3 list members,
after a long phase of relative inactivity (most of us were busy with
bringing MathML3 ahead) the WG has met in a phone call yesterday to
discuss how to make progress. Please find the results on the OM3 Trac
wiki at https://trac.kwarc.info/OM3/wiki/OpenMathDecisions
Michael
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor of Computer Science Campus Ring 12,
School of Engineering & Science D-28759 Bremen, Germany
Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140
m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
skype: m.kohlhase * International University Bremen until Feb. 2007
----------------------------------------------------------------------
More information about the Om3
mailing list