Certainly a good idea. Do you want to do a lot now, or sort the details of a migration out in Bialystok?
James Davenport National Teaching Fellow 2014 Hebron & Medlock Professor of Information Technology, University of Bath OpenMath Content Dictionary Editor Director of Studies EPSRC Doctoral Taught Course Centre for HPC Chair, IMU Committee on Electronic Information and Communication Vice-President and Academy Trustee, British Computer Society ________________________________________ From: [email protected] <[email protected]> on behalf of Michael Kohlhase <[email protected]> Sent: Thursday, June 30, 2016 4:54 PM To: [email protected] Subject: [Om] OpenMath Organization at github Dear OpenMathers, I created an OpenMath organization on github. The proximate cause is that some member of the OpenDreamKit project are creating an OpenMath Phrasebook for phython and we wanted to have a good home for that. I think we should eventually move the OpenMath assets to github and the OpenMath web pages to GH-pages. That would make things much more manageable. Michael BTW, with the OpenDreamKit Project OpenMath is getting much more into the focus of development (see [1]) [1] http://opendreamkit.org/activities/ -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: mibein42 [email protected] http://kwarc.info/kohlhase ---------------------------------------------------------------------- _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
