On Thu, Mar 17, 2016 at 11:15:46PM +0000, Philip Taylor wrote: > Arthur Reutenauer wrote: >> Are you sure that is your point? > > Yes.
That's not a very good point, then.
Arthur
On Thu, Mar 17, 2016 at 11:15:46PM +0000, Philip Taylor wrote: > Arthur Reutenauer wrote: >> Are you sure that is your point? > > Yes.
That's not a very good point, then.
Arthur