6 Oct
2007
6 Oct
'07
2:32 p.m.
me:
This will be followed by a patch to XMC to get rid of mapWorkspaces and eliminate some minor duplication.
Sat Oct 6 01:41:04 EDT 2007 Devin Mullins <me@twifkak.com> * (cleanup) extract mapWorkspace out of renameTag
Sat Oct 6 01:43:33 EDT 2007 Devin Mullins <me@twifkak.com> * darcs setpref test Fix, per that Main extraction I made the other day.
Sat Oct 6 01:50:59 EDT 2007 Devin Mullins <me@twifkak.com> * oops, need to export
Content-Description: A darcs patch for your repository! Looks reasonable, Devin. Can you send QuickCheck properties for mapWorkspace too please? -- Don