Fri, 19 Jun 2015 11:04:18 -0700 Laurent Charignon evolve: make fold aware of allowunstable
Fri, 19 Jun 2015 11:03:51 -0700 Laurent Charignon evolve: make prune respect allowunsable
Fri, 19 Jun 2015 10:47:02 -0700 Pierre-Yves David merge with stable
Fri, 19 Jun 2015 10:44:25 -0700 Pierre-Yves David evolve: add a hint about how to abort an evolve with conflict stable
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip