TIS 7 User's Manual TIS Editor User Management Users Users The User management interface allows the definition of users. Users are assigned roles and inherit the corresponding rights. OpenID Role Mapping Users' Properties
