[X] The "/ASSP Installation/ASSP 1.6.1.0/changelog-1610.txt" file could not be found or is not available. Please select another file.

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Browse Files for RODIN

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
ac.soton.eventb.latex.feature_0.5.1.jar 14.1 KB 2009-11-25 2
ac.soton.eventb.latex_0.5.1.jar 1.9 KB 2009-11-25 1
ac.soton.eventb.latex.ui_0.5.1.jar 22.4 KB 2009-11-25 1
B2Latex_0.5.1_sources.zip 99.1 KB 2009-11-25 0
All Files Subscribe
Plugin_ B2Latex 819.0 KB 2009-11-25 19,756 Subscribe Folder view
0.5.1 137.4 KB 2009-11-25 4 Subscribe Folder view
ac.soton.eventb.latex.feature_0.5.1.jar 14.1 KB 2009-11-25 2
ac.soton.eventb.latex_0.5.1.jar 1.9 KB 2009-11-25 1
ac.soton.eventb.latex.ui_0.5.1.jar 22.4 KB 2009-11-25 1
B2Latex_0.5.1_sources.zip 99.1 KB 2009-11-25 0
0.5.0 139.4 KB 2009-03-05 4,059 Subscribe Folder view
ac.soton.eventb.latex_0.5.0.jar 1.9 KB 2009-03-05 554 Release Notes
ac.soton.eventb.latex.ui_0.5.0.jar 22.2 KB 2009-03-05 557 Release Notes
ac.soton.eventb.latex.feature_0.5.0.jar 14.1 KB 2009-03-05 2,888 Release Notes
B2Latex_0.5.0_sources.zip 101.3 KB 2009-03-04 60 Release Notes
0.4.2 134.8 KB 2009-02-10 3,272 Subscribe Folder view
B2Latex_0.4.2_sources.zip 97.4 KB 2009-02-10 11 Release Notes
ac.soton.eventb.latex_0.4.2.jar 1.9 KB 2009-02-10 135 Release Notes
ac.soton.eventb.latex.ui_0.4.2.jar 21.4 KB 2009-02-10 136 Release Notes
ac.soton.eventb.latex.feature_0.4.2.jar 14.0 KB 2009-02-10 2,990 Release Notes
0.4.1 138.3 KB 2009-02-06 3,656 Subscribe Folder view
b2latex.sty 4.0 KB 2009-02-06 15 Release Notes
ac.soton.eventb.latex_0.4.1.jar 1.9 KB 2008-12-12 140 Release Notes
ac.soton.eventb.latex.ui_0.4.1.jar 22.8 KB 2008-12-12 148 Release Notes
ac.soton.eventb.latex.feature_0.4.1.jar 14.0 KB 2008-12-12 3,319 Release Notes
B2Latex_0.4.1_sources.zip 95.5 KB 2008-12-12 34 Release Notes
0.4.0 136.1 KB 2008-11-14 3,566 Subscribe Folder view
B2Latex_0.4.0_Sources.zip 96.5 KB 2008-11-14 36 Release Notes
ac.soton.eventb.latex_0.4.0.jar 1.9 KB 2008-11-14 76 Release Notes
ac.soton.eventb.latex.ui_0.4.0.jar 23.7 KB 2008-11-14 79 Release Notes
ac.soton.eventb.latex.feature_0.4.0.jar 14.0 KB 2008-11-14 3,375 Release Notes
0.3.0 132.9 KB 2008-03-04 5,199 Subscribe Folder view
ac.soton.eventb.latex.feature_0.3.0.jar 14.0 KB 2008-03-04 4,159 Release Notes
ac.soton.eventb.ui.latex_0.3.0.jar 22.4 KB 2008-03-04 467 Release Notes
ac.soton.eventb.latex_0.3.0.jar 1.9 KB 2008-03-04 477 Release Notes
B2Latex_0.3.0_sources.zip 94.6 KB 2008-03-04 96 Release Notes
Plugin_ Renaming_Refactory 2.3 MB 2009-11-06 3,814 Subscribe Folder view
0.0.4 583.5 KB 2009-11-06 351 Subscribe Folder view
ac.ddorf.refactory.0.0.4.zip 284.2 KB 2009-11-06 9
ac.ddorf.refactory.eventb_0.0.4.jar 63.6 KB 2009-11-06 29
ac.ddorf.refactory_feature_0.0.4.jar 11.9 KB 2009-11-06 242
ac.ddorf.refactory_0.0.4.jar 190.7 KB 2009-11-05 35
ac.ddorf.refactory.ui_0.0.4.jar 33.1 KB 2009-11-05 36
0.0.3 586.7 KB 2009-10-30 293 Subscribe Folder view
ac.ddorf.refactory.0.0.3.zip 285.8 KB 2009-10-30 0
ac.ddorf.refactory_0.0.3.jar 190.7 KB 2009-10-30 8
ac.ddorf.refactory.ui_0.0.3.jar 33.0 KB 2009-10-30 9
ac.ddorf.refactory.eventb_0.0.3.jar 65.3 KB 2009-10-30 8
ac.ddorf.refactory_feature_0.0.3.jar 11.9 KB 2009-10-30 268
0.0.2 556.7 KB 2009-07-03 1,739 Subscribe Folder view
ac.ddorf.refactory_feature_0.0.2.jar 11.9 KB 2009-07-03 1,272 Release Notes
ac.ddorf.refactory_0.0.2.zip 265.3 KB 2009-07-03 8 Release Notes
ac.ddorf.refactory_0.0.2.jar 190.7 KB 2009-07-03 156 Release Notes
ac.ddorf.refactory.ui_0.0.2.jar 30.7 KB 2009-07-03 150 Release Notes
ac.ddorf.refactory.eventb_0.0.2.jar 58.0 KB 2009-07-03 153 Release Notes
0.0.1 568.5 KB 2009-07-03 1,431 Subscribe Folder view
ac.ddorf.refactory_0.0.1.jar 190.7 KB 2009-07-03 18 Release Notes
renaming_refactory_plugin.zip 277.1 KB 2009-06-15 12 Release Notes
ac.ddorf.refactory.ui_0.0.1.jar 30.9 KB 2009-06-15 37 Release Notes
ac.ddorf.refactory.eventb_0.0.1.jar 57.9 KB 2009-06-15 36 Release Notes
ac.ddorf.refactory_feature_0.0.1.jar 11.9 KB 2009-06-15 1,328 Release Notes
Doc_ Tutorial 2.0 MB 2009-11-03 5,598 Subscribe Folder view
1.1 91.8 KB 2009-11-03 45 Subscribe Folder view
Galois.zip 5.1 KB 2009-11-03 11
Doors.zip 54.2 KB 2009-11-03 10
Closure.zip 7.8 KB 2009-11-03 7
Celebrity.zip 24.7 KB 2009-11-03 17
2007-10-26 291.2 KB 2007-10-26 3,063 Subscribe Folder view
tutorials-2007-10-26.pdf 246.7 KB 2007-10-26 1,207
Galois-2007-10-26.zip 3.6 KB 2007-10-26 406
Doors-2007-10-26.zip 25.9 KB 2007-10-26 452
Closure-2007-10-26.zip 6.0 KB 2007-10-26 439
Celebrity-2007-10-26.zip 9.0 KB 2007-10-26 559
2007-08-28 287.5 KB 2007-09-05 1,215 Subscribe Folder view
tutorials-2007-08-28.pdf 246.6 KB 2007-09-05 554
Doors-2007-08-28.zip 25.9 KB 2007-09-05 213
Closure-2007-08-28.zip 6.0 KB 2007-09-05 208
Celebrity-2007-08-28.zip 9.0 KB 2007-09-05 240
1.0 1.3 MB 2006-04-20 1,275 Subscribe Folder view
T1-interface-quick-tour.1.0.zip 1.1 MB 2006-04-20 596 Release Notes
T0-starting.1.0.zip 263.1 KB 2006-04-20 679 Release Notes
Plugin_ SharedEventComposition 6.3 MB 2009-10-30 15,397 Subscribe Folder view
0.1.4 757.4 KB 2009-10-30 390 Subscribe Folder view
ac.soton.composition_0.1.4.zip 348.1 KB 2009-10-30 1
ac.soton.composition.refactory_0.0.1.jar 23.2 KB 2009-10-30 31
ac.soton.composition.ui_0.1.4.jar 325.3 KB 2009-10-30 32
ac.soton.composition.core_0.1.4.jar 49.3 KB 2009-10-30 36
ac.soton.composition_feature_1.1.4.jar 11.6 KB 2009-10-30 290
0.1.3 743.0 KB 2009-07-03 1,547 Subscribe Folder view
ac.soton.composition_0.1.3.zip 335.2 KB 2009-07-03 19 Release Notes
ac.soton.composition.core_0.1.3.jar 49.3 KB 2009-07-03 9 Release Notes
ac.soton.composition.ui_0.1.3.jar 323.8 KB 2009-07-03 128 Release Notes
ac.soton.composition.refactory_0.0.1.jar 23.2 KB 2009-07-03 121 Release Notes
ac.soton.composition_feature_1.1.3.jar 11.6 KB 2009-07-03 1,270 Release Notes
0.1.2 709.2 KB 2009-06-15 1,492 Subscribe Folder view
ac.soton.composition_0.1.2.zip 325.6 KB 2009-06-15 11 Release Notes
ac.soton.composition.ui_0.1.2.jar 323.8 KB 2009-06-15 28 Release Notes
ac.soton.composition.core_0.1.2.jar 48.2 KB 2009-06-15 140 Release Notes
ac.soton.composition_feature_1.1.2.jar 11.6 KB 2009-06-15 1,313 Release Notes
0.1.1 1.0 MB 2009-03-26 2,234 Subscribe Folder view
ac.soton.composition_feature_1.1.1.jar 11.6 KB 2009-03-26 1,990 Release Notes
ac.soton.composition.core_0.1.1.jar 51.3 KB 2009-03-26 119 Release Notes
ac.soton.composition.ui_0.1.1.jar 325.0 KB 2009-03-26 117 Release Notes
ac.soton.composition_1.1.1.zip 653.7 KB 2009-03-26 8 Release Notes
0.1.0 712.2 KB 2009-02-24 2,863 Subscribe Folder view
ac.soton.composition_1.1.0.zip 327.5 KB 2009-02-24 18 Release Notes
ac.soton.composition.ui_0.1.0.jar 322.7 KB 2009-02-24 86 Release Notes
ac.soton.composition.core_0.1.0.jar 50.3 KB 2009-02-24 86 Release Notes
ac.soton.composition_feature_1.1.0.jar 11.6 KB 2009-02-24 2,673 Release Notes
0.0.5 652.6 KB 2009-02-09 3,201 Subscribe Folder view
ac.soton.composition_feature.zip 299.8 KB 2009-02-09 10
ac.soton.composition.core_0.0.5.jar 33.9 KB 2009-02-09 74
ac.soton.composition.ui_0.0.5.jar 307.3 KB 2009-02-09 76
ac.soton.composition_feature_1.0.2.jar 11.6 KB 2009-02-09 3,041
0.0.4 690.9 KB 2009-01-11 3,488 Subscribe Folder view
ac.soton.composition_feature_1.0.1.jar 11.6 KB 2009-01-11 3,235 Release Notes
ac.soton.composition.ui_0.0.4.jar 326.1 KB 2008-12-12 107 Release Notes
ac.soton.composition_feature_1.0.1.zip 318.2 KB 2008-12-12 26 Release Notes
ac.soton.composition.core_0.0.4.jar 34.9 KB 2008-12-12 120 Release Notes
0.0.3 1.0 MB 2008-12-11 182 Subscribe Folder view
ac.soton.composition_feature_1.0.0.jar 835 Bytes 2008-12-11 106 Release Notes
ac.soton.composition.ui_0.0.3.jar 324.0 KB 2008-12-04 26 Release Notes
ac.soton.composition.core_0.0.3.jar 34.9 KB 2008-12-04 28 Release Notes
ac.soton.composition.zip 667.4 KB 2008-12-04 22 Release Notes
Plugin_ UML-B 52.8 MB 2009-10-18 35,550 Subscribe Folder view
0.6.0 3.1 MB 2009-10-18 1,223 Subscribe Folder view
ac.soton.umlb.eventB_0.6.0.jar 26.6 KB 2009-10-18 58
ac.soton.umlb.project_0.6.0.jar 19.4 KB 2009-10-18 56
ac.soton.umlb.u2b_0.6.0.jar 75.3 KB 2009-10-18 55
ac.soton.umlb.ui_0.6.0.jar 41.6 KB 2009-10-18 55
ac.soton.umlb.umlbMetamodel_0.6.0.jar 299.3 KB 2009-10-18 55
ac.soton.umlb.umlbMetamodel.classDiagram_0.6.0.jar 929.6 KB 2009-10-18 56
ac.soton.umlb.umlbMetamodel.contextDiagram_0.6.0.jar 510.3 KB 2009-10-18 55
ac.soton.umlb_0.5.11.jar 35.5 KB 2009-10-18 53
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.6.0.jar 173.6 KB 2009-10-18 56
ac.soton.umlb.umlbMetamodel.edit_0.6.0.jar 134.8 KB 2009-10-18 55
ac.soton.umlb.umlbMetamodel.editor_0.6.0.jar 62.7 KB 2009-10-18 55
ac.soton.umlb.umlbMetamodel.packageDiagram_0.6.0.jar 241.5 KB 2009-10-18 55
ac.soton.umlb.umlbMetamodel.stateDiagram_0.6.0.jar 575.6 KB 2009-10-18 56
ac.soton.umlb_0.6.0.200910181232.jar 14.6 KB 2009-10-18 503
0.5.11 8.1 MB 2009-07-31 2,434 Subscribe Folder view
uml_b_0_5_11_source.zip 5.0 MB 2009-07-31 41
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.11.jar 573.3 KB 2009-07-31 100
ac.soton.umlb.eventB_0.5.11.jar 26.6 KB 2009-07-31 101
ac.soton.umlb.project_0.5.11.jar 19.5 KB 2009-07-31 95
ac.soton.umlb.u2b_0.5.11.jar 75.0 KB 2009-07-31 98
ac.soton.umlb.ui_0.5.11.jar 41.6 KB 2009-07-31 96
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.11.jar 925.8 KB 2009-07-31 185
ac.soton.umlb.umlbMetamodel_0.5.11.jar 298.7 KB 2009-07-31 97
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.11.jar 508.2 KB 2009-07-31 94
ac.soton.umlb.umlbMetamodel.edit_0.5.11.jar 137.0 KB 2009-07-31 96
ac.soton.umlb.umlbMetamodel.editor_0.5.11.jar 62.2 KB 2009-07-31 97
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.11.jar 243.2 KB 2009-07-31 95
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.11.jar 166.4 KB 2009-07-31 95
ac.soton.umlb_0.5.11.jar 35.5 KB 2009-07-31 93
ac.soton.umlb_0.5.11.200907311354.jar 14.5 KB 2009-07-31 1,051
0.5.10 5.6 MB 2009-07-30 83 Subscribe Folder view
uml_b_0_5_10_source.zip 5.0 MB 2009-07-30 6
ac.soton.umlb.eventB_0.5.9.jar 26.6 KB 2009-07-30 8
ac.soton.umlb.project_0.5.9.jar 19.4 KB 2009-07-30 9
ac.soton.umlb.u2b_0.5.10.jar 75.0 KB 2009-07-30 10
ac.soton.umlb.ui_0.5.9.jar 41.6 KB 2009-07-30 8
ac.soton.umlb.umlbMetamodel_0.5.9.jar 298.7 KB 2009-07-30 17
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.9.jar 166.2 KB 2009-07-30 8
ac.soton.umlb_0.5.10.200907301517.jar 14.5 KB 2009-07-30 17
0.5.8 5.1 MB 2009-03-04 5,071 Subscribe Folder view
UML-B_V0_5_8_Sources.zip 2.1 MB 2009-03-04 35 Release Notes
ac.soton.umlb.ui_0.5.8.jar 27.8 KB 2009-03-02 181 Release Notes
ac.soton.umlb_0.5.8.200903021038.jar 14.4 KB 2009-03-02 2,819 Release Notes
ac.soton.umlb.eventB_0.5.2.jar 25.5 KB 2009-03-02 194 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.2.jar 508.2 KB 2009-03-02 187 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.7.jar 243.2 KB 2009-03-02 185 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.4.jar 573.3 KB 2009-03-02 182 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.4.jar 925.7 KB 2009-03-02 187 Release Notes
ac.soton.umlb.umlbMetamodel.editor_0.5.3.jar 62.3 KB 2009-03-02 186 Release Notes
ac.soton.umlb.umlbMetamodel.edit_0.5.1.jar 137.0 KB 2009-03-02 185 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.7.jar 159.6 KB 2009-03-02 181 Release Notes
ac.soton.umlb.umlbMetamodel_0.5.4.jar 298.0 KB 2009-03-02 180 Release Notes
ac.soton.umlb.project_0.5.2.jar 21.8 KB 2009-03-02 182 Release Notes
ac.soton.umlb.u2b_0.5.6.jar 75.1 KB 2009-03-02 187 Release Notes
0.4.4 4.8 MB 2008-06-04 4,522 Subscribe Folder view
UMLB_0.4.4_sources 4.7 MB 2008-06-04 95 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.4.jar 146.1 KB 2008-06-04 303 Release Notes
ac.soton.umlb_0.4.4.200806032333.jar 14.3 KB 2008-06-04 4,124 Release Notes
0.4.3 7.5 MB 2008-05-17 6,904 Subscribe Folder view
ac.soton.umlb.doc.user_0.4.3.jar 450.8 KB 2008-05-17 293 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.3.jar 329.6 KB 2008-05-17 268 Release Notes
ac.soton.umlb.umlbMetamodel_0.4.3.jar 274.1 KB 2008-05-17 276 Release Notes
ac.soton.umlb.eventB_0.4.3.jar 22.8 KB 2008-05-17 275 Release Notes
ac.soton.umlb.project_0.4.3.jar 21.0 KB 2008-05-17 277 Release Notes
ac.soton.umlb.u2b_0.4.3.jar 66.3 KB 2008-05-17 271 Release Notes
UMLB_0.4.3_sources 4.6 MB 2008-05-17 49 Release Notes
ac.soton.umlb.ui_0.4.3.jar 21.6 KB 2008-05-17 274 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.3.jar 784.7 KB 2008-05-17 276 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.3.jar 146.2 KB 2008-05-17 50 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.3.jar 508.2 KB 2008-05-17 278 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.4.3.jar 244.5 KB 2008-05-17 270 Release Notes
ac.soton.umlb_0.4.3.200805170936.jar 14.3 KB 2008-05-17 4,047 Release Notes
0.4.2 4.9 MB 2008-03-27 4,394 Subscribe Folder view
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.2.jar 144.1 KB 2008-03-27 86 Release Notes
umlb_0_4_2_sources.zip 4.7 MB 2008-03-27 48 Release Notes
ac.soton.umlb_0.4.2.200803262346.jar 14.3 KB 2008-03-27 4,260 Release Notes
0.4.1 6.1 MB 2008-03-26 4,656 Subscribe Folder view
umlb_0_4_1_sources.zip 4.7 MB 2008-03-26 32 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.1.jar 337.5 KB 2008-03-26 65 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.1.jar 144.0 KB 2008-03-26 33 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.1.jar 790.0 KB 2008-03-26 70 Release Notes
ac.soton.umlb.ui_0.4.1.jar 21.1 KB 2008-03-26 71 Release Notes
ac.soton.umlb.project_0.4.1.jar 26.8 KB 2008-03-26 65 Release Notes
ac.soton.umlb.eventB_0.4.1.jar 22.8 KB 2008-03-26 75 Release Notes
ac.soton.umlb_0.4.1.200803240951.jar 14.3 KB 2008-03-26 4,245 Release Notes
0.4.0 7.4 MB 2008-02-22 6,263 Subscribe Folder view
umlb_0_4_0_sources.zip 4.8 MB 2008-02-22 38 Release Notes
ac.soton.umlb_0.4.0.200802222236.jar 14.3 KB 2008-02-22 4,426 Release Notes
ac.soton.umlb_0.3.6.jar 35.5 KB 2008-02-22 503 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.0.jar 337.5 KB 2008-02-22 50 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.5.jar 253.2 KB 2008-02-22 97 Release Notes
ac.soton.umlb.umlbMetamodel.editor_0.3.5.jar 61.9 KB 2008-02-22 320 Release Notes
ac.soton.umlb.umlbMetamodel.edit_0.4.0.jar 132.9 KB 2008-02-22 326 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.0.jar 511.6 KB 2008-02-22 96 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.0.jar 143.9 KB 2008-02-22 53 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.3.7.jar 790.0 KB 2008-02-22 52 Release Notes
ac.soton.umlb.umlbMetamodel_0.3.7.jar 274.0 KB 2008-02-22 96 Release Notes
ac.soton.umlb.u2b_0.3.7.jar 65.8 KB 2008-02-22 98 Release Notes
ac.soton.umlb.project_0.3.4.jar 29.4 KB 2008-02-22 54 Release Notes
ac.soton.umlb.eventB_0.3.7.jar 26.6 KB 2008-02-22 54 Release Notes
Core_ Rodin Platform 2.9 GB 2009-10-15 13,587 Subscribe Folder view
1.1 156.8 MB 2009-10-15 460 Subscribe Folder view
relnotes.txt 11.1 KB 2009-10-15 107
rodin-1.1-win32.zip windows 49.9 MB 2009-10-15 212 Release Notes
rodin-1.1-sources.zip 7.3 MB 2009-10-15 21 Release Notes
rodin-1.1-macosx.zip mac 49.6 MB 2009-10-15 43 Release Notes
rodin-1.1-linux.zip linux 49.9 MB 2009-10-15 77 Release Notes
1.1RC1 156.6 MB 2009-10-01 153 Subscribe Folder view
relnotes.txt Rodin 1.1RC1 Release Notes 1.3 KB 2009-10-01 41
rodin-1.1RC1-win32.zip 49.9 MB 2009-10-01 66 Release Notes
rodin-1.1RC1-sources.zip 7.3 MB 2009-10-01 12 Release Notes
rodin-1.1RC1-macosx.zip 49.6 MB 2009-10-01 14 Release Notes
rodin-1.1RC1-linux.zip 49.8 MB 2009-10-01 20 Release Notes
1.0 155.6 MB 2009-07-01 581 Subscribe Folder view
rodin-1.0-linux.zip 49.6 MB 2009-07-01 155 Release Notes
rodin-1.0-win32.zip 49.6 MB 2009-07-01 271 Release Notes
rodin-1.0-macosx.zip 49.4 MB 2009-07-01 73 Release Notes
rodin-1.0-sources.zip others 7.0 MB 2009-07-01 82 Release Notes
1.0RC1 155.6 MB 2009-06-04 333 Subscribe Folder view
rodin-1.0RC1-linux.zip 49.6 MB 2009-06-04 80 Release Notes
rodin-1.0RC1-win32.zip 49.6 MB 2009-06-04 174 Release Notes
rodin-1.0RC1-macosx.zip 49.3 MB 2009-06-04 48 Release Notes
rodin-1.0RC1-sources.zip 7.0 MB 2009-06-04 31 Release Notes
0.9.2.1 154.0 MB 2009-02-18 1,207 Subscribe Folder view
rodin-0.9.2.1-macosx.zip 48.8 MB 2009-02-18 144 Release Notes
rodin-0.9.2.1-linux.zip 49.2 MB 2009-02-16 306 Release Notes
rodin-0.9.2.1-win32.zip 49.2 MB 2009-02-14 633 Release Notes
rodin-0.9.2.1-sources.zip 6.8 MB 2009-02-14 124 Release Notes
0.9.2 154.0 MB 2009-02-09 268 Subscribe Folder view
rodin-0.9.2-macosx.zip 48.8 MB 2009-02-09 54 Release Notes
rodin-0.9.2-linux.zip 49.2 MB 2009-02-09 55 Release Notes
rodin-0.9.2-win32.zip 49.2 MB 2009-02-09 137 Release Notes
rodin-0.9.2-sources.zip 6.8 MB 2009-02-08 22 Release Notes
0.9.1 153.2 MB 2009-01-14 377 Subscribe Folder view
rodin-0.9.1-macosx.zip 48.6 MB 2009-01-14 65 Release Notes
rodin-0.9.1-linux.zip 49.0 MB 2009-01-14 78 Release Notes
rodin-0.9.1-win32.zip 49.0 MB 2009-01-14 188 Release Notes
rodin-0.9.1-sources.zip 6.5 MB 2009-01-14 46 Release Notes
0.9.0 140.0 MB 2008-11-02 978 Subscribe Folder view
rodin-0.9.0-win32.zip 44.6 MB 2008-11-02 526 Release Notes
rodin-0.9.0-sources.zip 6.5 MB 2008-11-02 111 Release Notes
rodin-0.9.0-macosx.zip 44.3 MB 2008-11-02 131 Release Notes
rodin-0.9.0-linux.zip 44.6 MB 2008-11-02 210 Release Notes
0.8.2 141.7 MB 2008-03-11 2,466 Subscribe Folder view
rodin-0.8.2-win32.zip 45.2 MB 2008-03-11 1,265 Release Notes
rodin-0.8.2-sources.zip 6.4 MB 2008-03-11 382 Release Notes
rodin-0.8.2-macosx.zip 44.9 MB 2008-03-11 234 Release Notes
rodin-0.8.2-linux.zip 45.1 MB 2008-03-11 585 Release Notes
0.8.1 141.4 MB 2007-10-31 1,049 Subscribe Folder view
rodin-0.8.1-linux.zip 45.0 MB 2007-10-31 229 Release Notes
rodin-0.8.1-win32.zip 45.1 MB 2007-10-31 589 Release Notes
rodin-0.8.1-macosx.zip 44.8 MB 2007-10-31 109 Release Notes
rodin-0.8.1-sources.zip 6.4 MB 2007-10-31 122 Release Notes
0.8.0 141.1 MB 2007-09-05 1,245 Subscribe Folder view
rodin-0.8.0-macosx.zip 44.8 MB 2007-09-05 123 Release Notes
rodin-0.8.0-win32.zip 45.1 MB 2007-09-05 646 Release Notes
rodin-0.8.0-sources.zip 6.3 MB 2007-09-05 172 Release Notes
rodin-0.8.0-linux.zip 44.9 MB 2007-09-05 304 Release Notes
0.7.6 142.8 MB 2007-08-24 303 Subscribe Folder view
rodin-0.7.6-win32.zip 45.7 MB 2007-08-24 116 Release Notes
rodin-0.7.6-sources.zip 6.1 MB 2007-08-24 62 Release Notes
rodin-0.7.6-macosx.zip 45.6 MB 2007-08-24 61 Release Notes
rodin-0.7.6-linux.zip 45.5 MB 2007-08-24 64 Release Notes
0.7.5 125.4 MB 2007-07-05 399 Subscribe Folder view
rodin-0.7.5-win32.zip 40.0 MB 2007-07-05 191 Release Notes
rodin-0.7.5-sources.zip 5.9 MB 2007-07-05 62 Release Notes
rodin-0.7.5-macosx.zip 39.4 MB 2007-07-05 56 Release Notes
rodin-0.7.5-linux.zip 40.1 MB 2007-07-05 90 Release Notes
0.7.4 124.2 MB 2007-05-07 432 Subscribe Folder view
rodin-0.7.4-win32.zip 39.7 MB 2007-05-07 196 Release Notes
rodin-0.7.4-sources.zip 5.8 MB 2007-05-07 76 Release Notes
rodin-0.7.4-macosx.zip 39.0 MB 2007-05-07 65 Release Notes
rodin-0.7.4-linux.zip 39.7 MB 2007-05-07 95 Release Notes
0.7.3 122.6 MB 2007-03-01 633 Subscribe Folder view
rodin-0.7.3-macosx.zip 38.8 MB 2007-03-01 70 Release Notes
rodin-0.7.3-win32.zip 39.0 MB 2007-03-01 357 Release Notes
rodin-0.7.3-sources.zip 5.7 MB 2007-03-01 108 Release Notes
rodin-0.7.3-linux.zip 39.0 MB 2007-03-01 98 Release Notes
0.7.2 122.4 MB 2007-02-16 361 Subscribe Folder view
rodin-0.7.2-win32.zip 38.9 MB 2007-02-16 138 Release Notes
rodin-0.7.2-sources.zip 5.7 MB 2007-02-16 89 Release Notes
rodin-0.7.2-macosx.zip 38.8 MB 2007-02-16 54 Release Notes
rodin-0.7.2-linux.zip 39.0 MB 2007-02-16 80 Release Notes
0.7.1 121.7 MB 2006-12-21 541 Subscribe Folder view
rodin-0.7.1-macosx.zip 38.6 MB 2006-12-21 82 Release Notes
rodin-0.7.1-win32.zip 38.8 MB 2006-12-21 248 Release Notes
rodin-0.7.1-sources.zip 5.5 MB 2006-12-21 106 Release Notes
rodin-0.7.1-linux.zip 38.8 MB 2006-12-21 105 Release Notes
0.7.0 121.6 MB 2006-12-08 310 Subscribe Folder view
rodin-0.7.0-win32.zip 38.7 MB 2006-12-08 111 Release Notes
rodin-0.7.0-sources.zip 5.5 MB 2006-12-08 74 Release Notes
rodin-0.7.0-macosx.zip 38.6 MB 2006-12-08 59 Release Notes
rodin-0.7.0-linux.zip 38.8 MB 2006-12-08 66 Release Notes
0.6.1 100.8 MB 2006-11-04 328 Subscribe Folder view
rodin-0.6.1-win32.zip 31.9 MB 2006-11-04 134 Release Notes
rodin-0.6.1-sources.zip 5.5 MB 2006-11-04 60 Release Notes
rodin-0.6.1-macosx.zip 31.7 MB 2006-11-04 48 Release Notes
rodin-0.6.1-linux.zip 31.8 MB 2006-11-04 86 Release Notes
0.6.0 100.7 MB 2006-10-19 225 Subscribe Folder view
rodin-0.6.0-linux.zip 31.7 MB 2006-10-19 51 Release Notes
rodin-0.6.0-macosx.zip 31.7 MB 2006-10-19 42 Release Notes
rodin-0.6.0-sources.zip 5.4 MB 2006-10-19 55 Release Notes
rodin-0.6.0-win32.zip 31.8 MB 2006-10-19 77 Release Notes
0.5.4 68.6 MB 2006-04-06 792 Subscribe Folder view
rodin-0.5.4-win32.2.zip 31.7 MB 2006-04-06 377 Release Notes
rodin-0.5.4-sources.zip 5.3 MB 2006-04-06 225 Release Notes
rodin-0.5.4-linux.zip 31.6 MB 2006-04-06 190 Release Notes
0.5.0 63.9 MB 2006-03-01 146 Subscribe Folder view
rodin-0.5.0-win32.zip 31.6 MB 2006-03-01 82 Release Notes
rodin-0.5.0-linux.zip 32.4 MB 2006-03-01 64 Release Notes
Plugin_ Event-B EMF Framework 595.3 KB 2009-10-15 1,023 Subscribe Folder view
1.1.2 11.9 KB 2009-10-15 600 Subscribe Folder view
org.eventb.emf.feature_1.1.2.jar 11.9 KB 2009-10-15 600
1.1.1 583.5 KB 2009-10-14 423 Subscribe Folder view
org.eventb.emf.persistence_1.1.1.jar 49.8 KB 2009-10-14 138
org.eventb.emf.formulas_1.0.3.jar 334.0 KB 2009-10-14 144
org.eventb.emf.core_1.0.5.jar 199.6 KB 2009-10-14 141
Core_ 156.6 MB 2009-10-01 158 Subscribe Folder view
rodin-1.1RC1-linux.zip 49.8 MB 2009-10-01 36
rodin-1.1RC1-win32.zip 49.9 MB 2009-10-01 80
rodin-1.1RC1-sources.zip 7.3 MB 2009-10-01 16
rodin-1.1RC1-macosx.zip 49.6 MB 2009-10-01 26
Plugin_ Feature Composition 5.0 MB 2009-07-05 4,985 Subscribe Folder view
0.0.3 1.7 MB 2009-07-05 1,403 Subscribe Folder view
FeatureCompositionPlugin_Src0.0.3.zip 1.4 MB 2009-07-05 33 Release Notes
ac.soton.featurecomposition_feature_0.0.3.jar 12.0 KB 2009-07-05 1,216 Release Notes
ac.soton.emfb_0.0.3.jar 266.3 KB 2009-07-05 154 Release Notes
0.0.2 3.3 MB 2009-03-04 3,582 Subscribe Folder view
FeatureCompositionPlugin_Src.zip 1.4 MB 2009-03-04 19 Release Notes
ac.soton.featurecomposition_feature_0.0.2.jar 12.1 KB 2009-03-04 2,561 Release Notes
ac.soton.emfb.model.editor_0.0.2.jar 642.2 KB 2009-03-04 278 Release Notes
ac.soton.emfb.model.edit_0.0.2.jar 593.5 KB 2009-03-04 278 Release Notes
ac.soton.emfb.model_0.0.2.jar 371.0 KB 2009-03-04 284 Release Notes
ac.soton.emfb_0.0.2.jar 259.4 KB 2009-03-04 162 Release Notes
Doc_ Event B LaTeX style 1.2 MB 2009-03-26 2,039 Subscribe Folder view
1.8 201.2 KB 2009-03-26 75 Subscribe Folder view
bsymb-1.8.zip 201.2 KB 2009-03-26 75 Release Notes
1.7 399.2 KB 2007-03-27 1,530 Subscribe Folder view
bsymb-1.7.zip 200.0 KB 2007-03-27 694 Release Notes
bsymb-1.7.tgz 199.2 KB 2006-02-06 836 Release Notes
1.6 199.2 KB 2005-05-11 195 Subscribe Folder view
bsymb-1.6.tgz 199.2 KB 2005-05-11 195 Release Notes
1.5 198.2 KB 2005-04-27 130 Subscribe Folder view
bsymb-1.5.tgz 198.2 KB 2005-04-27 130 Release Notes
1.4 197.1 KB 2004-12-13 109 Subscribe Folder view
bsymb-1.4.tgz 197.1 KB 2004-12-13 109 Release Notes
Core_ Event-B Keyboard 869.4 KB 2009-03-25 1,328 Subscribe Folder view
2.8.0 310.8 KB 2009-03-25 52 Subscribe Folder view
org.eventb.eventBKeyboard_2.8.0.jar 310.8 KB 2009-03-25 52 Release Notes
2.5.2 276.5 KB 2006-02-06 1,120 Subscribe Folder view
org.eventb.eventBKeyboard_2.5.2.jar 276.5 KB 2006-02-06 1,120 Release Notes
2.4.1 282.1 KB 2005-10-06 156 Subscribe Folder view
org.eventb.eventBKeyboard_2.4.1.zip 282.1 KB 2005-10-06 156 Release Notes
Plugin_ Mobility 829.8 KB 2007-10-31 593 Subscribe Folder view
Mobility plug-in 0.1 829.8 KB 2007-10-31 593 Subscribe Folder view
Mobility_Plug_in_manual.pdf 311.9 KB 2007-10-31 331
mobility.jar 517.9 KB 2007-10-31 262
Doc_ User Manual 4.5 MB 2007-10-26 5,025 Subscribe Folder view
2.3 1.4 MB 2007-10-26 3,131 Subscribe Folder view
mathLanguage-2007-10-26.pdf 298.2 KB 2007-10-26 790
notation-1.5.pdf 103.9 KB 2007-10-26 879
manual-2.3.pdf 960.3 KB 2007-10-26 1,462
2.2 1.3 MB 2007-09-05 1,397 Subscribe Folder view
notation-1.4.pdf 103.7 KB 2007-09-05 424
mathLanguage-2006-05-24.pdf 297.7 KB 2007-09-05 330
manual-2.2.pdf 947.3 KB 2007-09-05 643
2.1 959.8 KB 2007-08-24 242 Subscribe Folder view
manual.pdf 959.8 KB 2007-08-24 242
1.4 812.8 KB 2007-07-19 255 Subscribe Folder view
manual-1.4.pdf 812.8 KB 2007-07-19 255
Font_ Brave Sans Mono 100.5 KB 2006-03-27 2,518 Subscribe Folder view
0.12 50.1 KB 2006-03-27 2,389 Subscribe Folder view
BraveSansMono-Roman-0.12.ttf 50.1 KB 2006-03-27 2,389 Release Notes
0.11 50.4 KB 2006-03-01 129 Subscribe Folder view
BraveSansMono-Roman-0.11.ttf 50.4 KB 2006-03-01 129 Release Notes