commit | 15e2c6788baa24d091f6812a00257de51ffc98ac | [log] [tgz] |
---|---|---|
author | khussey <khussey> | Tue May 25 13:37:12 2010 +0000 |
committer | khussey <khussey> | Tue May 25 13:37:12 2010 +0000 |
tree | 0d03a289c58917c78d95fa48e916d1f14cacf7cd | |
parent | 6baf3020b0b04f66eacb6e2b42d08db0fcd37d63 [diff] |
[313837] Fixing problems with package merge w.r.t. invalid subsets and redundant generalizations.