[Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.

Michael Kohlhase m.kohlhase at jacobs-university.de
Tue Feb 15 17:21:56 CET 2011


Thanks, I was hoping for this reaction.

Michael

On 2/15/11 5:20 PM, Christoph LANGE wrote:
> Dear Michael, dear all,
>
> 02/15/2011 05:03 PM Michael Kohlhase:
>> ...
>>
>> But I do see that the organization of the svn server is quite
>> unintuitive (as not to say chaotic). I think that it would be a good
>> task for the Infrastructure group established in Paris in Summer (are
>> you not a member?) to make a (re)-organization proposal to improve the
>> situation.
> Good point.  I will initiate such a proposal on the infrastructure
> mailing list and take the issue back here when we will have come up with
> something.
>
> Before that is done, I need to make my current changes in some place.
> This place will, for now, be those new subdirectories of "OpenMath 2++",
> but I will move them once we have a plan.
>
> Cheers,
>
> Christoph
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 181 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20110215/a5278f26/attachment.vcf 


More information about the Om3 mailing list