David Roundy dbd58faffe make workspace tag not need to be a Num. ...

This change also removes the barely used 'size' field, and replaces
it with a tagMember predicate.  The idea is to move towards the ability
to make the workspace tag be a String, which by default might be "1".."9",
but could also be customized to be something meaningful to the user.

2007-06-14 14:07:09 +00:00

..

loc.hs

remove LOC cap (but still print count after tests)

2007-05-31 04:34:17 +00:00

Properties.hs

make workspace tag not need to be a Num.

2007-06-14 14:07:09 +00:00