Yup, I agree. I think that we should keep names explicit at the expense of a few extra key strokes. Let's do (1) for now and consider (3) for later.Received on Wednesday, 7 August 2013 01:35:06 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:49:46 UTC