[Om3] [Fwd: [OpenMath] #23: sort out symbols for associative binary operators, e.g. union]

Michael Kohlhase m.kohlhase at jacobs-university.de
Wed Jan 23 14:48:28 CET 2008


As proposed in the phonecall I closed the multiple roles bug and opened 
two new ones:

#23 for sorting out big associative operators
#24 for lifting ops for A operators.

-- 
----------------------------------------------------------------------
 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
----------------------------------------------------------------------

-------------- next part --------------
An embedded message was scrubbed...
From: "OpenMath" <trac at strawberry.eecs.jacobs-university.de>
Subject: [OpenMath] #23: sort out symbols for associative binary operators,
	e.g. union
Date: Wed, 23 Jan 2008 13:17:27 -0000
Size: 2922
Url: http://openmath.org/pipermail/om3/attachments/20080123/b92d4fdf/attachment.eml 
-------------- next part --------------
An embedded message was scrubbed...
From: "OpenMath" <trac at strawberry.eecs.jacobs-university.de>
Subject: Re: [OpenMath] #23: sort out symbols for associative binary
	operators, e.g. union
Date: Wed, 23 Jan 2008 13:33:14 -0000
Size: 4068
Url: http://openmath.org/pipermail/om3/attachments/20080123/b92d4fdf/attachment-0001.eml 
-------------- next part --------------
An embedded message was scrubbed...
From: "OpenMath" <trac at strawberry.eecs.jacobs-university.de>
Subject: Re: [OpenMath] #23: sort out symbols for associative binary
	operators, e.g. union
Date: Wed, 23 Jan 2008 13:34:49 -0000
Size: 5125
Url: http://openmath.org/pipermail/om3/attachments/20080123/b92d4fdf/attachment-0002.eml 
-------------- next part --------------
An embedded message was scrubbed...
From: "OpenMath" <trac at strawberry.eecs.jacobs-university.de>
Subject: Re: [OpenMath] #23: sort out symbols for associative binary
	operators, e.g. union
Date: Wed, 23 Jan 2008 13:38:37 -0000
Size: 3440
Url: http://openmath.org/pipermail/om3/attachments/20080123/b92d4fdf/attachment-0003.eml 
-------------- next part --------------
An embedded message was scrubbed...
From: "OpenMath" <trac at strawberry.eecs.jacobs-university.de>
Subject: [OpenMath] #24: Lifting Operators for associative operators.
Date: Wed, 23 Jan 2008 13:46:49 -0000
Size: 3300
Url: http://openmath.org/pipermail/om3/attachments/20080123/b92d4fdf/attachment-0004.eml 


More information about the Om3 mailing list