In this release, we have three main updates:
1 PAT 1.2.9 solves all the problems with Vista.
2 LTL2BA libary is completely rewritten using C#.
3 Bugs related to channels are fixed.
For the previous users, if you are using Windows Vista, please un-install the previous version of PAT and install PAT 1.2.9.
PAT 1.2.9 allows you to run PAT using administrative rights. You will not have any problems related to loading math library.