Updating: adding CLBG/fannkuch-redux
Updating: tidying up a bit
Updating: miscellanous
Updating: working on EFFECTIVATS/Producer-Consumer
Updating: improving EFFECTIVATS/Producer-Consumer
Updating: miscellaneous
Updating: working on src/pats_taggen
Updating: improving src/pats_taggen
Updating: improving src/pats_taggen
Updating: a minor fix.
Updating: improving src/pats_taggen
Updating: improving EFFECTIVATS/Producer-Consumer
Updating: improving src/pats_taggen.dats
Updating: working on EFFECTIVATS/DiningPhil2
Updating: working on EFFECTIVATS/DiningPhil2
Updating: EFFECTIVATS/DiningPhil2 is working now.
Updating: misc
Updating: misc
Updating: file renaming
Updating: misc