Synchronized editing
ProUnit release 12a released
ProUnit release 12a is here!
Added tag release-12a for changeset c9ae79338c0a
fixed problem with plugins not found when loadi...
Unable to load plugins then running startProUnitBatch.p.
Corrected. Also corrected the same problem in GUI part.
Unable to load plugins then running startProUnitBatch.p.