Closed berlotti closed 11 years ago
create into a 'wizard' like system that starts with choosing 'profile' from remote service, than 'modelchecking (if present / beta)' then the rest of the (current) configuration.
also include 'create remote profile' option (to create account on remote service with profile)
create into a 'wizard' like system that starts with choosing 'profile' from remote service, than 'modelchecking (if present / beta)' then the rest of the (current) configuration.