User contributions
From Event-B
Jump to navigationJump to search- 11:01, 30 May 2020 diff hist +234 m Generic Event-B EMF extensions →Contributing new EMF element types to the Navigator view current
- 08:49, 30 May 2020 diff hist +2,169 m Generic Event-B EMF extensions →Persistence
- 08:05, 30 May 2020 diff hist +111 m Generic Event-B EMF extensions →Contributing new EMF element types to the Navigator view
- 07:58, 30 May 2020 diff hist +618 m Generic Event-B EMF extensions →Navigator
- 06:54, 30 May 2020 diff hist +401 m Generic Event-B EMF extensions →Generator
- 06:48, 30 May 2020 diff hist +40 m Generic Event-B EMF extensions →Refinement
- 13:04, 19 May 2020 diff hist +6 m EMF framework for Event-B →Structure Editor current
- 12:57, 19 May 2020 diff hist +20 m Template:Main Page/Community add postponed Rodin workshop until 2021