Help
User rights
From Event-B
Jump to navigation
Jump to search
Select a user
Enter a username:
View user groups
Viewing user groups of user
Colin
(
talk
|
contribs
)
Member of:
Administrators
Implicit member of:
Autoconfirmed users
User rights log
10:08, 19 May 2020
RichardCook
talk
contribs
changed group membership for
Colin
from (none) to administrator
Navigation menu
Page actions
Special page
Page actions
Special page
Tools
Personal tools
Log in
Navigation
Main Page
Event-B Language
Rodin Platform
Plug-in
Developer Support
FAQ
Event-B Examples
Industrial Projects
Random page
''Event-B and Rodin''
Search
Contribute
Wiki help
Village Pump
Recent changes
Tools
User contributions
Logs
View user groups
Special pages
Printable version