Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Updating: minorly tidying-up
Updating: minorly tidying-up
Updating: minorly tidying-up
Add counter definition code
Merge pull request #93 from master-q/fix/ats2tutorial-misscode

Add counter definition code
Updating: miscellaneous
Update main.atxt

very minor typo
Merge pull request #94 from bbarker/patch-1

Update main.atxt
minor improvements

follow -> follows

minor clarification
Merge pull request #95 from bbarker/patch-1

minor improvements
Updating: very minorly fixing
Updating: reorganizing
Updating: working on ats2langweb/patsoptaas
Updating: working on ats2langweb/patsoptaas
Updating: working on ats2langweb/patsoptaas
Updating: working on ats2langweb/patsoptaas