[Om3] Summary of the Davenport&Kohlhase Proposal

Paul Libbrecht paul at activemath.org
Mon Mar 23 11:39:15 CET 2009


David,

please explain how much this is breaking.
I only see this as an expansion but I agree this brings yet another  
way of writing.

It allows expressions which, earlier, were disallowed by the schema,  
to be allowed now.

paul


Le 23-mars-09 à 11:20, David Carlisle a écrit :
> This is a breaking change to OpenMath, with a rather thin
> justification,

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20090323/a6c6a028/attachment.bin 


More information about the Om3 mailing list