Jan Vroonhof <vroonhof(a)math.ethz.ch> writes:
I think we should also release a few betas with clash-detection
enabled to have it exercised.
It would be really nice to have clash detection back. I remember
somebody (you?) mentioning an algorithm how clash detection could be
implemented to work reliably. Whatever happened to that project?