convert energy-ptask to energy-exec-ptask still have to make C and C++ match
Update copyright lines with new year.
Spelling fixes & a few cases of polishing the English (#329) Some of the more specialized fixes were: - 'DEAD-LOCK' -> 'DEADLOCK' (appears when MC fnids a deadlock. - 'allows to' -> 'allows one to' (and so on for allow/allows/permit/permits) 'model-checker' -> 'model checker' ('the model-checker software', but 'the model checker')
Update copyright lines with new year.
Mark unused parameters.
fix a gramatical error all over our variables
Update copyright headers. Simplify year ranges; end by 2018. Starting year was kept as-is. Shall it be changed to 2003?
one more MSG example to go to the dungeon