| commit | 49baac9388fda6bd5a8bc97005235af64478148a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 30 Nov 2006 11:38:01 +0000 (30 12:38 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 Dec 2006 08:45:04 +0000 (11 09:45 +0100) | ||
| tree | a61ab2c434964ccea3cb416952d1e5445ff5796c | treesnapshot (tar.gz zip) |
| parent | 8b88592befeb7c63dbf296f883825679332e5390 | commitdiff |
lexmin.cc: partial_order::compare: use substitution rather than domain cutting
| lexmin.cc | diffblobblamehistory |