| Sun, 06 Oct 2013 20:54:28 +0200 | blanchet | strengthen the tactics to bring them in sync with the simplifications taking place in the code (and weaken the simplifications a bit -- let's not deal with implies) | changeset | files |
| Sun, 06 Oct 2013 20:24:06 +0200 | blanchet | generate optimized DNF formula | changeset | files |
| Sun, 06 Oct 2013 20:24:05 +0200 | blanchet | rationalized negation code | changeset | files |
| Sat, 05 Oct 2013 11:06:07 +0200 | blanchet | honor externally set MASH_PORT | changeset | files |