[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.

Welcome, Guest! Log In | Create Account

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.

Download Now! rodin-1.0-sources.zip (7.0 MB) OR View all files

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

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use