Recent changes
From Event-B
Jump to navigationJump to searchTrack the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
3 June 2020
| 08:58 | User creation log User account MLeuschel talk contribs was created by Colin talk contribs and password was sent by email (new user) | ||||
30 May 2020
|
|
m 11:01 | Generic Event-B EMF extensions 6 changes history+3,573 [Colin (6×)] | |||
| m |
|
11:01 (cur | prev) +234 Colin talk contribs →Contributing new EMF element types to the Navigator view | |||
| m |
|
08:49 (cur | prev) +2,169 Colin talk contribs →Persistence | |||
| m |
|
08:05 (cur | prev) +111 Colin talk contribs →Contributing new EMF element types to the Navigator view | |||
| m |
|
07:58 (cur | prev) +618 Colin talk contribs →Navigator | |||
| m |
|
06:54 (cur | prev) +401 Colin talk contribs →Generator | |||
| m |
|
06:48 (cur | prev) +40 Colin talk contribs →Refinement | |||
