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
Updating: adding a primitive sort named [real].
Updating: tidying up
Updating: minor tidying-up