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 * (cleanup) extract mapWorkspace out of renameTag

Sat Oct 6 01:43:33 EDT 2007 Devin Mullins * darcs setpref test Fix, per that Main extraction I made the other day.

Sat Oct 6 01:50:59 EDT 2007 Devin Mullins * 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