In this minor release, the update include the following:
1 Parsers are all updated to the latest antlr library, as well as the error messages are improved.
2 In LTS module, BDD library execution error is fixed
3 Indexed Boolean logic expression is supported
e.g.
var x[3];
P = if(&& i:{0..2}@(x[i] == 0)){bingo -> Skip};
4 GUI improvement for the C# library Editor and Main GUI
5 PAT now will open the last edited documents when started
6 User Manual is updated.