Rename numAsWt to more appropriate widenInteger.
[match/match.git] / program / PMInstanceGenerator.hs
2008-08-02 Matt McCutchenRename numAsWt to more appropriate widenInteger.
2008-08-02 Matt McCutchenMake the instance generator select proposal topics...
2008-07-28 Matt McCutchen- More evaluation.
2008-07-28 Matt McCutchenRename Instance -> PMInstance and introduce PMatching...