[Om] [Om3] svn.openmath.org is now opened

Michael Kohlhase m.kohlhase at jacobs-university.de
Wed Jul 11 14:11:44 CEST 2007

Dear all,

Paul Libbrecht wrote:
> we have now opened the subversion repository http://svn.openmath.org/
> This repository is in public read-access. Write access, based on 
> digest-authentication, is granted to collaborating parties.
> The repository is now populated as follows:
> - OpenMath3, currently a simple copy of OpenMath2 to be a start for 
> the work towards
I have started to prepare the old OM2 standard for a new revision. I 
have stripped all the revision marks and renamed the relevant 2s to 3s. 
So please update the OpenMath3 repository. I have also committed the 
generated (via the Makefile or the run script) html files 
omstd30html.xml and omstd30html-d.xml (with diff markings).

We should discuss what we want to change before we do.


 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 Om mailing list