4 Jan
2013
4 Jan
'13
12:27 a.m.
It adds a new restart in #'ambiguity-check-clause to delete one of the clauses to resolve the ambiguity. This has been very helpful when developing and debugging new iterate drivers, and I don't think it has any other relevant effects.
pushed, thanks! -- attila Notice the erosion of your (digital) freedom, and do something about it! PGP: 2FA1 A9DC 9C1E BA25 A59C 963F 5D5F 45C7 DFCD 0A39 OTR XMPP: 8647EEAC EA30FEEF E1B55146 573E52EE 21B1FF06