Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 1.7.1 | 2017-07-05 | ||
| 1.7.0 | 2014-11-25 | ||
| 1.6.3 | 2014-08-04 | ||
| 1.6.1 | 2013-07-04 | ||
| 1.6.0 | 2012-08-16 | ||
| 1.5.1 | 2012-06-22 | ||
| 1.5.0 | 2012-06-01 | ||
| 1.4 | 2011-12-01 | ||
| 1.3.1 | 2011-03-09 | ||
| 1.3 | 2011-02-14 | ||
| 0.2.1 | 2010-11-26 | ||
| 0.2.0 | 2010-11-08 | ||
| 0.1.6 | 2010-07-06 | ||
| 0.1.5 | 2010-02-23 | ||
| 0.1.4 | 2009-10-30 | ||
| 0.1.3 | 2009-07-03 | ||
| 0.1.2 | 2009-06-15 | ||
| 0.1.1 | 2009-03-26 | ||
| 0.1.0 | 2009-02-24 | ||
| 0.0.5 | 2009-02-09 | ||
| 0.0.4 | 2009-01-11 | ||
| 0.0.3 | 2008-12-11 | ||
| readme.txt | 2017-07-05 | 291 Bytes | |
| Totals: 23 Items | 291 Bytes | 3 | |
Shared Event Composition. Allows several machines to be composed through the synchronisation of events. More information can be found at http://wiki.event-b.org/index.php/Parallel_Composition_using_Event-B. Version 1.7.1 - Compatible with Rodin 3.3 Version 1.7.0 - Compatible with Rodin 3.2