
19 Mar
2010
19 Mar
'10
1:29 p.m.
Hi Ozgur, Perhaps you can have a look at what discussion there was about non-empty lists. Seems (slightly) related to me. Matthias.