Dor Ma'ayan
@ravivos : almost done, but not for the upcoming release since it's might be buggy will be finished soon, after the release
@OriRoth won't be fixed for that release
@yossigil : @M4tt30rru : Can you please clarify what should I do here ? I see that there is already an Implementation at `InfixMultiplicationDistributive.java`
@ravivos : Are you on it for that week or can I do that ?
Relates to Issue #848, I close that Issue and move to that issue
@yuvalsimon Currently we will keep it like that, that's beyond our scope for now
@yossigil , Sure I'll do that !
On hold for now until we solve the namespace issues
Does't seems realistic for the upcoming sprint (although now we have all the tools to handle that) , I'll work on that on my free time
@OriRoth This tipper is disabled for now, so there is actually no problem, and it doesn't give anything since it simply change names with a really stupid heyuristic...