[Om3] Results of the OM3 WG phone call yesterday

[Michael Kohlhase]

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
----------------------------------------------------------------------