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
Updating: adding libcurl and zeromq to ATS2-contrib
Updating: initiating list-based channels
Updating: improving EFFECTIVATS/DiningPhil2
Updating: adding some missing div-functions