On Tue, Jan 4, 2011 at 1:02 PM, Christian Maeder
<Christian.Maeder@dfki.de> wrote:
Why do you propose this for the container package only?
Don't the same arguments apply to the array-package, too?
Yes, an oversight on my part. array should go too.
Johan
