Email Archive: rodin-b-sharp-announce (read-only)

2009:
 Jan
(1) 		Feb
    		Mar
    		Apr
    		May
    		Jun
(1) 		Jul
(2) 		Aug
(1) 		Sep
    		Oct
(3) 		Nov
(1) 		Dec
(3)
2010:
 Jan
    		Feb
(5) 		Mar
(5) 		Apr
    		May
(2) 		Jun
(4) 		Jul
(3) 		Aug
    		Sep
    		Oct
(4) 		Nov
(5) 		Dec
   
2011:
 Jan
(1) 		Feb
(2) 		Mar
(1) 		Apr
(1) 		May
(2) 		Jun
(3) 		Jul
(3) 		Aug
(3) 		Sep
    		Oct
(3) 		Nov
(1) 		Dec
(2)
2012:
 Jan
    		Feb
(3) 		Mar
(1) 		Apr
(1) 		May
(2) 		Jun
(2) 		Jul
    		Aug
(1) 		Sep
    		Oct
    		Nov
(1) 		Dec
   
2013:
 Jan
(1) 		Feb
(1) 		Mar
    		Apr
    		May
    		Jun
    		Jul
    		Aug
    		Sep
    		Oct
    		Nov
    		Dec
   
Topic Topic Starter Thread
Posts		 Last Post
  [Rodin announce] Release of plug-in for Generic instantiation Thai Son Hoang <htson@in...> 1 2013-02-28 13:41
  [Rodin announce] iUML-B releases Colin Snook cfs <cfs@ec...> 1 2013-01-19 17:39
  [Rodin announce] Rodin 2.7 Thomas Muller <thomas.muller@sy...> 1 2012-11-06 11:13
  [Rodin announce] Rodin 2.6 Thomas Muller <thomas.muller@sy...> 1 2012-08-03 16:31
  [Rodin announce] [Rodin-b-sharp-user] New releases: Decomposition, Composition and Refactory Renato Silva <ras07r@ec...> 3 2012-06-25 12:40
  [Rodin announce] Rodin 2.5 Nicolas Beauger <nicolas.beauger@sy...> 1 2012-05-02 17:43
  [Rodin announce] Theory v1.3.2 Release Issam Maamria <maamria@gm...> 1 2012-04-20 13:57
  [Rodin announce] New release: Code Generation Feature 0.2.2 Andy Edmunds <ae2@ec...> 1 2012-03-22 13:59
  [Rodin announce] Isabelle for Rodin, Version 0.6.0 Matthias Schmalz <Matthias.Schmalz@in...> 1 2012-02-25 18:37
  [Rodin announce] SMT Solvers Plug-in v0.8.0 released Yoann Guyot <yoann.guyot@sy...> 1 2012-02-17 15:22
  [Rodin announce] Rodin 2.4 Nicolas Beauger <nicolas.beauger@sy...> 1 2012-02-03 14:01
  [Rodin announce] Code Generator v0.2.1 Release Renato Silva <ras07r@ec...> 3 2011-12-14 10:29
  [Rodin announce] Rodin Editor v0.6.0 Release Thomas Muller <thomas.muller@sy...> 2 2011-12-01 18:08
  [Rodin announce] New version of Event-B Statemachines v1.0.0 vs2 <vs2@ec...> 1 2011-10-24 15:54
  [Rodin announce] SMT Solvers Plug-in v0.1.0 released Yoann Guyot <yoann.guyot@sy...> 1 2011-10-19 14:54
  [Rodin announce] New Rodin 2.3 Release Nicolas Beauger <nicolas.beauger@sy...> 1 2011-10-04 16:47
  [Rodin announce] Theory v1.1 and Theory Library v1 Release Issam Maamria <im06r@ec...> 1 2011-08-06 15:40
  [Rodin announce] Rodin 2.2.2 Nicolas Beauger <nicolas.beauger@sy...> 1 2011-08-01 09:00
  [Rodin announce] Theory v1.0 Release Issam Maamria <im06r@ec...> 1 2011-07-08 18:25
  [Rodin announce] Release of Transformation patterns plug-in for Rodin 2.2 Ilya Lopatkin <ilya.lopatkin@ne...> 1 2011-07-04 16:31
  [Rodin announce] [Rodin-b-sharp-user] Refactory, Composition and Decomposition plug-ins for Rodin 2.2 Renato Silva <ras07r@ec...> 2 2011-06-29 15:44
  [Rodin announce] Export to Isabelle v. 0.4.0 is out Matthias Schmalz <Matthias.Schmalz@in...> 1 2011-06-29 12:46
  [Rodin announce] Theory Plug-in v0.8 Issam Maamria <im06r@ec...> 1 2011-05-22 13:14
  [Rodin announce] Export to Isabelle Version 0.3.0 Matthias Schmalz <Matthias.Schmalz@in...> 1 2011-05-18 09:10
  [Rodin announce] Theory v0.7 Release Issam Maamria <im06r@ec...> 1 2011-04-11 12:42
    Next Messages