To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
Pattern Abstractions plug-in
Have been struggling to find pattern abstractions plug-in in Prom6 for a while.
In package manager I can see Abstractions package installed.
I'm following the instructions provided in the plug-in documentation.
But there is no Pattern abstraction displayed in the list of actions.
I'm using Prom6 installed with windows installer from the official web-site.
The bat-file runs correctly.