Recent changes

From Event-B

Track the most recent changes to the wiki on this page.

3 February 2012

• (diff) (hist) . . m Rodin Platform 2.4 External Plug-ins‎; 14:43 . . (-267) . . Tommy (Talk | contribs) (Removed the line for the Rodin Editor )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 13:48 . . (+44) . . Nicolas (Talk | contribs) (→Requirements - Compatibility: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 13:40 . . (+1) . . Nicolas (Talk | contribs) (→What's New in Rodin 2.4?: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 11:09 . . (+17) . . Nicolas (Talk | contribs) (→What's New in Rodin 2.4?: )
• (diff) (hist) . . N Rodin 64 bit‎; 11:09 . . (+224) . . Nicolas (Talk | contribs) (New page: Since release 2.4, Rodin is available for 64 bit platforms (Windows, Linux, Mac). Check the latest download: http://sourceforge.net/projects/rodin-b-...)
• (diff) (hist) . . Template:Dev News‎; 10:49 . . (+131) . . Nicolas (Talk | contribs) (Rodin 2.4)
• (diff) (hist) . . m Rodin Platform Releases‎; 10:45 . . (+59) . . Nicolas (Talk | contribs) (→Previous Releases: )
• (diff) (hist) . . m Rodin Platform Releases‎; 10:43 . . (-59) . . Nicolas (Talk | contribs) (→Upcoming Releases: )
• (diff) (hist) . . m Rodin Platform Releases‎; 10:42 . . (0) . . Nicolas (Talk | contribs) (→Current plug-ins: )
• (diff) (hist) . . m Rodin Platform Releases‎; 10:42 . . (0) . . Nicolas (Talk | contribs) (→Current Release: )
• (diff) (hist) . . m Export to Isabelle‎; 09:55 . . (+1) . . Wohuai (Talk | contribs)
• (diff) (hist) . . Export to Isabelle‎; 09:55 . . (+634) . . Wohuai (Talk | contribs)

2 February 2012

• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 11:48 . . (+79) . . Nicolas (Talk | contribs) (→Requirements - Compatibility: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 10:58 . . (+198) . . Nicolas (Talk | contribs) (→Upgrading from Rodin 2.3.x: )
• (Upload log); 09:49 . . WikiSysop (Talk | contribs) (uploaded a new version of "Image:Rodin-programme-rodin-workshop.pdf")
• (diff) (hist) . . m Rodin Platform 2.4 External Plug-ins‎; 05:55 . . (-5) . . Alinstef (Talk | contribs) (→Other Update Sites: )

1 February 2012

• (diff) (hist) . . Rodin Platform 2.4 External Plug-ins‎; 17:31 . . (-7) . . Nicolas (Talk | contribs)
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 17:23 . . (+4,816) . . Nicolas (Talk | contribs) (→Known Issues: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 17:22 . . (+482) . . Nicolas (Talk | contribs) (→Fixed Bugs and Implemented Feature Requests: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 15:57 . . (+926) . . Nicolas (Talk | contribs) (→Requirements - Compatibility: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 15:21 . . (-80) . . Nicolas (Talk | contribs) (→Requirements - Compatibility: )
• (diff) (hist) . . m Building Rodin Headless‎; 11:27 . . (-29) . . Nicolas (Talk | contribs) (→Pre Build Verifications: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 11:25 . . (0) . . Nicolas (Talk | contribs) (→About: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 10:30 . . (0) . . Nicolas (Talk | contribs) (→About: )
• (diff) (hist) . . m Rodin Platform 2.4 Release Notes‎; 10:28 . . (+94) . . Nicolas (Talk | contribs) (→What's New in Rodin 2.4?: )

31 January 2012

• (diff) (hist) . . Rodin Workshop 2012‎; 13:58 . . (+90) . . Wohuai (Talk | contribs)
• (diff) (hist) . . m Rodin Workshop 2012‎; 12:50 . . (+2) . . Wohuai (Talk | contribs)
• (diff) (hist) . . Rodin Workshop 2012‎; 12:36 . . (+156) . . Sascha (Talk | contribs) (→Rodin User and Developer Workshop, 27-29 February 2012, Fontainebleau, France: )

30 January 2012

• (diff) (hist) . . Revisiting Feasibility POs‎; 18:33 . . (-448) . . Laurent (Talk | contribs) (Changed conclusion in the light of Rodin 2.3 implementation.)
• (diff) (hist) . . Rodin Plug-ins‎; 10:51 . . (+259) . . Rivera (Talk | contribs) (→Code Generation: )

29 January 2012

• (diff) (hist) . . Revisiting Feasibility POs‎; 15:05 . . (-644) . . Laurent (Talk | contribs) (Fixed several shortcomings of the previous version and reached a new conclusion.)
• (diff) (hist) . . Revisiting Feasibility POs‎; 13:56 . . (+2,601) . . Laurent (Talk | contribs) (Various typos fixed + new section on WD)