All public logs

Combined display of all available logs of Event-B. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 12:47, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf
• 12:39, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf
• 12:39, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf
• 12:39, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Towards CamilleX 3.0.pdf
• 12:39, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Towards CamilleX 3.0.pdf
• 12:38, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf
• 12:38, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf
• 12:37, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Context instantiation plug-in.pdf
• 12:37, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Context instantiation plug-in.pdf
• 12:37, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Scenario Checker.pdf
• 12:37, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Scenario Checker.pdf
• 12:36, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 EVBT.pdf
• 12:36, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 EVBT.pdf
• 12:35, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 OntoEventB.pdf
• 12:35, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 OntoEventB.pdf
• 12:34, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf
• 12:34, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf
• 12:25, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Data-types definitions.pdf
• 12:25, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Data-types definitions.pdf
• 15:08, 8 June 2021 Son talk contribs uploaded File:A Rodin plug-in for constructing reusable schematic lemmas.pdf (A Rodin plug-in for constructing reusable schematic lemmas)
• 15:07, 8 June 2021 Son talk contribs uploaded a new version of File:Rodin in the field of railway system engineering.pdf (Upload the paper in place of the slides)
• 15:01, 8 June 2021 Son talk contribs uploaded File:Rodin in the field of railway system engineering.pdf (Rodin in the field of railway system engineering (Tomas Fischer, Thales Austria GmbH))
• 10:00, 17 May 2021 Idir talk contribs created page Rodin Platform 3.6 Release Notes (Created page with "== Installing == === Downloading === [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download Rodin 3.5 now !]")
• 08:43, 17 May 2021 User account Idir talk contribs was created by Colin talk contribs and password was sent by email
• 07:56, 14 May 2021 User account Basheer talk contribs was created by Colin talk contribs and password was sent by email
• 10:23, 29 January 2021 Asieh talk contribs created page Rodin Workshop 2021 (Created page with "<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1> The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conferen...")
• 11:16, 16 December 2020 User account Guillaume talk contribs was created by Colin talk contribs and password was sent by email (Guillaume joined the development team)
• 22:10, 30 September 2020 Colin talk contribs created page UML-B - Modelling a control system (renamed to remove i)
• 09:15, 11 September 2020 Laurent talk contribs created page Rodin Platform 3.5.0 External Plug-ins (Created page with "==== Rodin Update Site ==== Available from http://rodin-b-sharp.sourceforge.net/updates <!-- Please use one of the following templates for the Status column <span st...")
• 09:55, 8 September 2020 Laurent talk contribs created page Rodin Platform 3.5 Release Notes (Created page with "{{TOCright}} == What's New in Rodin 3.5? == Rodin 3.5 brings several bug fixes, and upgrades the underlying Eclipse to 2020-06. Please note that we no longer provide 32-bit...")
• 08:58, 3 June 2020 User account MLeuschel talk contribs was created by Colin talk contribs and password was sent by email (new user)
• 16:05, 20 May 2020 User account DevECS talk contribs was created by RichardCook talk contribs and password was sent by email (testing)
• 10:11, 20 May 2020 User account Laurent2 talk contribs was created by Colin talk contribs and password was sent by email (confirmation email was rejected by recipient spam service)
• 15:42, 19 May 2020 User account Laurent talk contribs was created by Colin talk contribs and password was sent by email (add Laurent as a user)
• 12:41, 19 May 2020 User account Chenyang talk contribs was created by Colin talk contribs and password was sent by email (Add Chenyang as user)
• 12:40, 19 May 2020 User account Asieh talk contribs was created by Colin talk contribs and password was sent by email (Add Asieh as user)
• 12:38, 19 May 2020 User account Dana talk contribs was created by Colin talk contribs and password was sent by email (add Dana as user)
• 10:08, 19 May 2020 RichardCook talk contribs changed group membership for Son from (none) to administrator
• 10:08, 19 May 2020 RichardCook talk contribs changed group membership for Colin from (none) to administrator
• 10:07, 19 May 2020 RichardCook talk contribs changed group membership for Michael from (none) to administrator and bureaucrat
• 10:07, 19 May 2020 User account Son talk contribs was created by RichardCook talk contribs and password was sent by email
• 10:07, 19 May 2020 User account Michael talk contribs was created by RichardCook talk contribs and password was sent by email
• 10:06, 19 May 2020 User account Colin talk contribs was created by RichardCook talk contribs and password was sent by email
• 09:48, 19 May 2020 RichardCook talk contribs protected Main Page [Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) (hist)
• 21:50, 30 April 2020 RichardCook talk contribs created page File:Wiki.png
• 21:50, 30 April 2020 RichardCook talk contribs uploaded File:Wiki.png
• 20:50, 30 April 2020 Maintenance script talk contribs uploaded File:Share variable mach comp1.jpeg
• 20:50, 30 April 2020 Maintenance script talk contribs uploaded File:GenInst-wizard2.jpg
• 20:50, 30 April 2020 Maintenance script talk contribs uploaded File:Slides PereverzevaInna.pdf
• 20:50, 30 April 2020 Maintenance script talk contribs uploaded File:FontainebleauAccommodation.pdf