Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | honor 'try0' also for one-liners | changeset | files |
Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | tentatively took out 'fastforce' from the set of tried methods -- it seems to be largely subsumed and is hard to silence | changeset | files |