21, Jan, 2011: PAT 3.2.2 is released!

In this minor release, the update include the following: 1 Bugs for simulator are fixed2 Find Usage for variables, processes, channels and declarations are supported in all modules3 Module Generator is implemented.4 LTS module is re-implemented.a) The language support full syntax of CSP, except terminal process call can only drawn Process. For example, the following syntax is not validP = a -> Skip;Q = b -> P;b) a new syntax is supported in LTS under the BDD module checkingvar x = *; a process with arbitrary value