Re: Few mixed things

[BCS]

Reply to Denis,

I'd be fine depricating /**/.
You mean, deprecating /++/?


No, I mean exactly what I said. 

/**/ has well defined semantics, changing it will cause problems that replacing 
it will not.