PMConfig isn't just for ProposalMatcher anymore; it's about to gain settings for
[match/match.git] / program / PMDefaults.hs
2008-08-01 Matt McCutchenPMConfig isn't just for ProposalMatcher anymore; it...
2008-07-30 Matt McCutchenAdd reminder to compile CS2 with -DPRINT_ANS.
2008-07-28 Matt McCutchenRename Instance -> PMInstance and introduce PMatching...
2008-07-28 Matt McCutchenMake proposal-matcher configuration non-global to make...