On 26/05/2014 08:13, Michael Kohlhase wrote:
- Thu, Jun 5. 17:00-18:00 (without James).
sorry, I didn't get to the meeting. David _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
