Closed GoogleCodeExporter closed 8 years ago
Original comment by jens.dietrich
on 6 Nov 2008 at 9:01
This will also require adding new elements to Operators, and map URIs to
elements.
Original comment by jens.dietrich
on 6 Nov 2008 at 9:07
Original comment by jens.dietrich
on 5 May 2009 at 2:05
Original issue reported on code.google.com by
jens.dietrich
on 6 Nov 2008 at 9:00