Develop and Download Open Source Software

RODIN

[RSS]Download

Would you recoomend this project?

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.

You can download file releases of RODIN project from List of release files

System Requirements

Operating System: OS Independent
DL
rodin-2.7-win32.win32.x86_64.zip
Date: 2012-10-31, Size: 69593270
DL
rodin-2.7-macosx.cocoa.x86_64.zip
Date: 2012-10-31, Size: 69239061
DL
rodin-2.7-linux.gtk.x86_64.zip
Date: 2012-10-31, Size: 69686556
DL
rodin-2.7.r15250-sources.zip
Date: 2012-10-31, Size: 13653919
DL
rodin-2.7.r15250-sources.zip
Date: 2012-10-31, Size: 13653919

List of release files

File/Folder NameFile TypeSizeDateDownload Count
Latest 5 files
org.eventb.smt_1.0.0.5c77a48.jarapplication/zip; charset=binary5.1 KB2013-06-03 11:370
org.eventb.smt.verit_1.0.0.5c77a48.jarapplication/zip; charset=binary1.2 KB2013-06-03 11:370
org.eventb.smt.verit.win32_1.0.0.5c77a48.jarapplication/zip; charset=binary398.0 KB2013-06-03 11:370
org.eventb.smt.verit.macosx_1.0.0.5c77a48.jarapplication/zip; charset=binary306.0 KB2013-06-03 11:370
org.eventb.smt.ui_1.0.0.5c77a48.jarapplication/zip; charset=binary51.9 KB2013-06-03 11:370
All Files
Plugin_SMT_Solvers
1.0.0
org.eventb.smt_1.0.0.5c77a48.jarapplication/zip; charset=binary5.1 KB2013-06-03 11:370
org.eventb.smt.verit_1.0.0.5c77a48.jarapplication/zip; charset=binary1.2 KB2013-06-03 11:370
org.eventb.smt.verit.win32_1.0.0.5c77a48.jarapplication/zip; charset=binary398.0 KB2013-06-03 11:370
org.eventb.smt.verit.macosx_1.0.0.5c77a48.jarapplication/zip; charset=binary306.0 KB2013-06-03 11:370
org.eventb.smt.ui_1.0.0.5c77a48.jarapplication/zip; charset=binary51.9 KB2013-06-03 11:370
org.eventb.smt.verit.linux_1.0.0.5c77a48.jarapplication/zip; charset=binary422.0 KB2013-06-03 11:370
org.eventb.smt.help_1.0.0.5c77a48.jarapplication/zip; charset=binary1.9 MB2013-06-03 11:370
org.eventb.smt.cvc3_1.0.0.5c77a48.jarapplication/zip; charset=binary1.2 KB2013-06-03 11:370
org.eventb.smt.cvc3.win32_1.0.0.5c77a48.jarapplication/zip; charset=binary3.8 MB2013-06-03 11:370
org.eventb.smt.cvc3.macosx_1.0.0.5c77a48.jarapplication/zip; charset=binary2.6 MB2013-06-03 11:370
org.eventb.smt.cvc3.linux_1.0.0.5c77a48.jarapplication/zip; charset=binary3.0 MB2013-06-03 11:370
org.eventb.smt.core_1.0.0.5c77a48.jarapplication/zip; charset=binary225.1 KB2013-06-03 11:370
0.8.0
rodin-smt-0.8.0_sources.zipapplication/zip; charset=binary1.9 MB2012-02-17 12:380
org.eventb.smt-feature_0.8.0.r14169.jarapplication/zip; charset=binary12.8 KB2012-02-17 10:420
org.eventb.smt_0.8.0.r14169.jarapplication/zip; charset=binary4.7 KB2012-02-17 10:420
org.eventb.smt.ui_0.1.0.r14169.jarapplication/zip; charset=binary30.3 KB2012-02-17 10:420
org.eventb.smt.verit_0.8.0.r14169.jarapplication/zip; charset=binary1.1 MB2012-02-17 10:420
org.eventb.smt.core_0.8.0.r14169.jarapplication/zip; charset=binary196.8 KB2012-02-17 10:420
0.1.0
rodin-smt-0.1.0_sources.zipapplication/zip; charset=binary375.1 KB2011-10-19 16:460
org.eventb.smt.ui_0.1.0.r13351.jarapplication/zip; charset=binary26.9 KB2011-10-19 10:280
org.eventb.smt_0.1.0.r13351.jarapplication/zip; charset=binary4.6 KB2011-10-19 10:280
org.eventb.smt.core_0.1.0.r13351.jarapplication/zip; charset=binary162.0 KB2011-10-19 10:280
org.eventb.smt-feature_0.1.0.r13351.jarapplication/zip; charset=binary12.5 KB2011-10-19 10:270
Plugin_iUML-B
iUMLB State-Machines
1.5.0
ac.soton.eventb.statemachines.transformation_1.5.0.r15631.jarapplication/zip; charset=binary48.0 KB2013-05-15 18:120
ac.soton.eventb.statemachines.navigator_1.2.1.r15631.jarapplication/zip; charset=binary18.3 KB2013-05-15 18:120
ac.soton.eventb.statemachines.diagram_1.3.1.r15631.jarapplication/zip; charset=binary521.2 KB2013-05-15 18:120
ac.soton.eventb.statemachines_1.2.1.r15631.jarapplication/zip; charset=binary91.3 KB2013-05-15 18:120
readme.txttext/plain; charset=us-ascii0.4 KB2013-05-15 18:120
ac.soton.eventb.statemachines.feature_1.5.0.r15631.jarapplication/zip; charset=binary12.5 KB2013-05-15 18:120
1.4.0
readme.txttext/x-pascal; charset=us-ascii9.5 KB2013-03-16 13:010
ac.soton.eventb.statemachines.transformation_1.4.0.r15530.jarapplication/zip; charset=binary47.7 KB2013-03-16 12:590
ac.soton.eventb.statemachines.diagram_1.3.0.r15530.jarapplication/zip; charset=binary521.2 KB2013-03-16 12:590
ac.soton.eventb.statemachines.edit_1.2.0.r15530.jarapplication/zip; charset=binary48.9 KB2013-03-16 12:590
ac.soton.eventb.statemachines_1.2.0.r15530.jarapplication/zip; charset=binary91.1 KB2013-03-16 12:590
ac.soton.eventb.statemachines.feature_1.4.0.r15530.jarapplication/zip; charset=binary12.4 KB2013-03-16 12:590
1.3.1
ac.soton.eventb.statemachines.transformation_1.3.1.jarapplication/zip; charset=binary45.0 KB2013-01-19 17:481
ac.soton.eventb.statemachines.feature_1.3.1.jarapplication/zip; charset=binary12.3 KB2013-01-19 17:481
1.3.0
ac.soton.eventb.statemachines.persistence_1.1.0.jarapplication/zip; charset=binary2.8 KB2013-01-16 20:090
ac.soton.eventb.statemachines.transformation_1.3.0.jarapplication/zip; charset=binary44.9 KB2013-01-16 20:090
ac.soton.eventb.statemachines.navigator_1.2.0.jarapplication/zip; charset=binary18.2 KB2013-01-16 20:090
ac.soton.eventb.statemachines.edit_1.1.0.jarapplication/zip; charset=binary48.7 KB2013-01-16 20:090
ac.soton.eventb.statemachines.diagram_1.2.0.jarapplication/zip; charset=binary517.6 KB2013-01-16 20:090
ac.soton.eventb.statemachines.feature_1.3.0.jarapplication/zip; charset=binary12.2 KB2013-01-16 20:090
ac.soton.eventb.statemachines_1.1.0.jarapplication/zip; charset=binary87.9 KB2013-01-16 20:090
iUMLB State-Machines Animation
1.2.0
ac.soton.eventb.statemachines.animation_1.2.0.jarapplication/zip; charset=binary21.6 KB2013-01-16 20:110
ac.soton.eventb.statemachines.animation.feature_1.2.0.jarapplication/zip; charset=binary11.4 KB2013-01-16 20:110
ac.soton.iumlb.branding_1.0.0.jarapplication/zip; charset=binary27.0 KB2013-01-16 19:570
1.2.0
ac.soton.eventb.statemachines.feature_1.2.0.201206030058.jarapplication/zip; charset=binary12.1 KB2012-06-03 10:210
ac.soton.eventb.statemachines.transformation_1.2.0.201206030058.jarapplication/zip; charset=binary36.5 KB2012-06-03 10:070
ac.soton.eventb.statemachines.navigator_1.1.0.201206030058.jarapplication/zip; charset=binary15.9 KB2012-06-03 10:070
ac.soton.eventb.statemachines.persistence_1.0.0.201206030058.jarapplication/zip; charset=binary2.9 KB2012-06-03 10:070
ac.soton.eventb.statemachines.diagram_1.1.0.201206030058.jarapplication/zip; charset=binary510.9 KB2012-06-03 10:070
ac.soton.eventb.statemachines.edit_1.0.0.201206030058.jarapplication/zip; charset=binary48.7 KB2012-06-03 10:070
ac.soton.eventb.statemachines_1.0.1.201206030058.jarapplication/zip; charset=binary87.8 KB2012-06-03 10:070
1.1.0
ac.soton.eventb.statemachines.persistence_1.0.0.201205281504.jarapplication/zip; charset=binary2.9 KB2012-05-28 16:500
ac.soton.eventb.statemachines.transformation_1.1.0.201205281504.jarapplication/zip; charset=binary35.0 KB2012-05-28 16:500
ac.soton.eventb.statemachines.edit_1.0.0.201205281504.jarapplication/zip; charset=binary48.7 KB2012-05-28 16:500
ac.soton.eventb.statemachines.navigator_1.1.0.201205281504.jarapplication/zip; charset=binary15.9 KB2012-05-28 16:500
ac.soton.eventb.statemachines.diagram_1.1.0.201205281504.jarapplication/zip; charset=binary510.9 KB2012-05-28 16:500
ac.soton.eventb.statemachines.animation_1.1.0.201205281504.jarapplication/zip; charset=binary19.4 KB2012-05-28 16:500
ac.soton.eventb.statemachines.feature_1.1.0.201205281504.jarapplication/zip; charset=binary12.1 KB2012-05-28 16:500
ac.soton.eventb.statemachines_1.0.1.201205281504.jarapplication/zip; charset=binary87.8 KB2012-05-28 16:500
ac.soton.eventb.statemachines.animation.feature_1.1.0.201205281504.jarapplication/zip; charset=binary11.3 KB2012-05-28 16:500
1.0.1
ac.soton.eventb.statemachines.animation.feature_1.0.0.201111131708.jarapplication/zip; charset=binary11.3 KB2011-11-13 18:090
ac.soton.eventb.statemachines.animation_1.0.0.201111131708.jarapplication/zip; charset=binary19.3 KB2011-11-13 18:090
ac.soton.eventb.statemachines.feature_1.0.1.201111111907.jarapplication/zip; charset=binary11.9 KB2011-11-13 15:370
ac.soton.eventb.statemachines.persistence_1.0.0.201111111907.jarapplication/zip; charset=binary5.7 KB2011-11-13 15:360
ac.soton.eventb.statemachines.transformation_1.0.0.201111111907.jarapplication/zip; charset=binary33.1 KB2011-11-13 15:360
ac.soton.eventb.statemachines_1.0.1.201111111907.jarapplication/zip; charset=binary88.7 KB2011-11-13 15:360
ac.soton.eventb.statemachines.diagram_1.0.1.201111111907.jarapplication/zip; charset=binary511.1 KB2011-11-13 15:360
ac.soton.eventb.statemachines.edit_1.0.0.201111111907.jarapplication/zip; charset=binary48.7 KB2011-11-13 15:360
ac.soton.eventb.statemachines.navigator_1.0.0.201111111907.jarapplication/zip; charset=binary18.9 KB2011-11-13 15:360
1.0.0
ac.soton.eventb.statemachines_1.0.0.201110241513.jarapplication/zip; charset=binary88.7 KB2011-10-24 17:170
ac.soton.eventb.statemachines.navigator_1.0.0.201110241513.jarapplication/zip; charset=binary18.9 KB2011-10-24 16:190
ac.soton.eventb.statemachines.persistence_1.0.0.201110241513.jarapplication/zip; charset=binary5.7 KB2011-10-24 16:190
ac.soton.eventb.statemachines.transformation_1.0.0.201110241513.jarapplication/zip; charset=binary33.1 KB2011-10-24 16:190
ac.soton.eventb.emf.diagrams_1.0.1.jarapplication/zip; charset=binary14.1 KB2011-10-24 16:190
ac.soton.eventb.statemachines.diagram_1.0.0.201110241513.jarapplication/zip; charset=binary511.0 KB2011-10-24 16:190
ac.soton.eventb.statemachines.edit_1.0.0.201110241513.jarapplication/zip; charset=binary48.7 KB2011-10-24 16:190
ac.soton.eventb.emf.diagrams.edit_1.0.1.jarapplication/zip; charset=binary8.3 KB2011-10-24 16:190
ac.soton.eventb.emf.diagrams.navigator_1.0.1.jarapplication/zip; charset=binary12.5 KB2011-10-24 16:190
ac.soton.eventb.emf.diagrams.feature_1.0.1.jarapplication/zip; charset=binary11.3 KB2011-10-24 16:190
ac.soton.eventb.statemachines.feature_1.0.0.201110241513.jarapplication/zip; charset=binary11.8 KB2011-10-24 16:190
0.2.0
ac.soton.eventb.statemachines.feature_0.2.0.201108241452.jarapplication/zip; charset=binary11.6 KB2011-08-25 17:510
ac.soton.eventb.statemachines.animation.feature_0.2.0.201108251504.jarapplication/zip; charset=binary11.2 KB2011-08-25 17:250
ac.soton.eventb.statemachines.animation_0.2.0.201108251504.jarapplication/zip; charset=binary18.9 KB2011-08-25 16:070
ac.soton.eventb.statemachines_0.2.0.201108241452.jarapplication/zip; charset=binary88.7 KB2011-08-24 16:090
ac.soton.eventb.statemachines.navigator_0.1.1.201108241452.jarapplication/zip; charset=binary19.0 KB2011-08-24 16:090
ac.soton.eventb.statemachines.persistence_0.2.0.201108241452.jarapplication/zip; charset=binary5.7 KB2011-08-24 16:090
ac.soton.eventb.statemachines.transformation_0.3.0.201108241452.jarapplication/zip; charset=binary21.1 KB2011-08-24 16:090
ac.soton.eventb.statemachines.diagram_0.2.0.201108241452.jarapplication/zip; charset=binary508.8 KB2011-08-24 16:090
ac.soton.eventb.statemachines.edit_0.2.0.201108241452.jarapplication/zip; charset=binary48.7 KB2011-08-24 16:090
ac.soton.eventb.emf.diagrams.feature_1.0.0.201108241447.jarapplication/zip; charset=binary11.3 KB2011-08-24 16:080
ac.soton.eventb.emf.diagrams_1.0.0.jarapplication/zip; charset=binary14.1 KB2011-08-24 16:080
ac.soton.eventb.emf.diagrams.edit_1.0.0.jarapplication/zip; charset=binary8.3 KB2011-08-24 16:080
ac.soton.eventb.emf.diagrams.navigator_1.0.0.201108241447.jarapplication/zip; charset=binary12.5 KB2011-08-24 16:080
0.1.4
ac.soton.eventb.statemachines.feature_0.1.4.201105221556.jarapplication/zip; charset=binary11.4 KB2011-05-22 17:150
ac.soton.eventb.statemachines.animation.feature_0.1.2.201105221556.jarapplication/zip; charset=binary11.2 KB2011-05-22 17:150
ac.soton.eventb.statemachines_0.1.3.201105221556.jarapplication/zip; charset=binary116.1 KB2011-05-22 16:590
ac.soton.eventb.statemachines.persistence_0.1.0.201105221556.jarapplication/zip; charset=binary13.4 KB2011-05-22 16:590
ac.soton.eventb.statemachines.transformation_0.2.2.201105221556.jarapplication/zip; charset=binary23.2 KB2011-05-22 16:590
ac.soton.eventb.statemachines.navigator_0.1.1.201105221556.jarapplication/zip; charset=binary47.5 KB2011-05-22 16:590
ac.soton.eventb.statemachines.diagram_0.1.2.201105221556.jarapplication/zip; charset=binary695.5 KB2011-05-22 16:590
ac.soton.eventb.statemachines.edit_0.1.1.201105221556.jarapplication/zip; charset=binary61.7 KB2011-05-22 16:590
ac.soton.eventb.statemachines.animation_0.1.2.201105221556.jarapplication/zip; charset=binary19.1 KB2011-05-22 16:590
0.1.3
ac.soton.eventb.statemachines_0.1.2.201105181033.jarapplication/zip; charset=binary103.0 KB2011-05-18 11:390
ac.soton.eventb.statemachines.persistence_0.1.0.201105181033.jarapplication/zip; charset=binary13.4 KB2011-05-18 11:391
ac.soton.eventb.statemachines.transformation_0.2.1.201105181033.jarapplication/zip; charset=binary23.2 KB2011-05-18 11:390
ac.soton.eventb.statemachines.navigator_0.1.1.201105181033.jarapplication/zip; charset=binary47.4 KB2011-05-18 11:390
ac.soton.eventb.statemachines.edit_0.1.0.201105181033.jarapplication/zip; charset=binary60.7 KB2011-05-18 11:390
ac.soton.eventb.statemachines.diagram_0.1.1.201105181033.jarapplication/zip; charset=binary695.4 KB2011-05-18 11:390
ac.soton.eventb.statemachines.animation_0.1.1.201105181033.jarapplication/zip; charset=binary19.2 KB2011-05-18 11:390
ac.soton.eventb.statemachines.feature_0.1.3.201105181033.jarapplication/zip; charset=binary11.4 KB2011-05-18 11:380
ac.soton.eventb.statemachines.animation.feature_0.1.1.201105181033.jarapplication/zip; charset=binary11.2 KB2011-05-18 11:370
Plugin_EventB EMF Support For Diagrams
3.2.0
readme.txttext/plain; charset=us-ascii0.2 KB2013-05-15 18:100
ac.soton.eventb.emf.diagrams.navigator_1.3.0.r15620.jarapplication/zip; charset=binary29.0 KB2013-05-15 18:100
ac.soton.eventb.emf.diagrams.feature_3.2.0.r15620.jarapplication/zip; charset=binary12.0 KB2013-05-15 18:100
3.1.0
ac.soton.eventb.emf.diagrams.navigator_1.2.0.jarapplication/zip; charset=binary20.7 KB2013-01-19 17:460
ac.soton.eventb.emf.diagrams.feature_3.1.0.jarapplication/zip; charset=binary11.9 KB2013-01-19 17:460
ac.soton.eventb.emf.diagrams.generator_3.1.0.jarapplication/zip; charset=binary42.2 KB2013-01-19 17:460
3.0.0
ac.soton.eventb.emf.diagrams.navigator_1.1.0.jarapplication/zip; charset=binary20.3 KB2013-01-16 20:030
ac.soton.eventb.emf.diagrams.edit_1.0.3.jarapplication/zip; charset=binary8.3 KB2013-01-16 20:030
ac.soton.eventb.emf.diagrams.generator_3.0.0.jarapplication/zip; charset=binary39.2 KB2013-01-16 20:030
ac.soton.eventb.emf.diagrams_2.0.0.jarapplication/zip; charset=binary15.6 KB2013-01-16 20:030
ac.soton.eventb.emf.diagrams.feature_3.0.0.jarapplication/zip; charset=binary11.8 KB2013-01-16 20:030
2.1.0
ac.soton.eventb.emf.diagrams.generator_2.1.0.201206030057.jarapplication/zip; charset=binary38.5 KB2012-06-03 10:040
ac.soton.eventb.emf.diagrams.edit_1.0.2.201206030057.jarapplication/zip; charset=binary8.3 KB2012-06-03 10:040
ac.soton.eventb.emf.diagrams_1.2.0.201206030057.jarapplication/zip; charset=binary14.3 KB2012-06-03 10:040
ac.soton.eventb.emf.diagrams.feature_2.1.0.201206030057.jarapplication/zip; charset=binary11.7 KB2012-06-03 10:030
2.0.0
ac.soton.eventb.emf.diagrams.generator_2.0.0.201205281503.jarapplication/zip; charset=binary38.5 KB2012-05-28 16:470
ac.soton.eventb.emf.diagrams.edit_1.0.2.201205281503.jarapplication/zip; charset=binary8.3 KB2012-05-28 16:470
ac.soton.eventb.emf.diagrams_1.2.0.201205281503.jarapplication/zip; charset=binary14.3 KB2012-05-28 16:460
ac.soton.eventb.emf.diagrams.feature_2.0.0.201205281503.jarapplication/zip; charset=binary11.6 KB2012-05-28 16:460
1.1.2
ac.soton.eventb.emf.diagrams.edit_1.0.2.201205020847.jarapplication/zip; charset=binary8.3 KB2012-05-02 10:000
ac.soton.eventb.emf.diagrams.generator_1.0.1.201205020847.jarapplication/zip; charset=binary36.3 KB2012-05-02 10:000
ac.soton.eventb.emf.diagrams.feature_1.1.2.201205020847.jarapplication/zip; charset=binary11.6 KB2012-05-02 10:000
ac.soton.eventb.emf.diagrams_1.1.0.201205020847.jarapplication/zip; charset=binary14.3 KB2012-05-02 10:000
1.1.1
ac.soton.eventb.emf.diagrams.edit_1.0.2.201204121625.jarapplication/zip; charset=binary8.3 KB2012-04-12 17:330
ac.soton.eventb.emf.diagrams.navigator_1.0.2.jarapplication/zip; charset=binary12.6 KB2012-04-12 17:330
ac.soton.eventb.emf.diagrams.generator_1.0.0.201204121625.jarapplication/zip; charset=binary36.1 KB2012-04-12 17:330
ac.soton.eventb.emf.diagrams_1.1.0.201204121625.jarapplication/zip; charset=binary14.3 KB2012-04-12 17:330
ac.soton.eventb.emf.diagrams.feature_1.1.1.201204121625.jarapplication/zip; charset=binary11.5 KB2012-04-12 17:330
Plugin_EventB EMF Support For Extensions
2.1.0
readme.txttext/plain; charset=us-ascii0.2 KB2013-05-15 18:070
ac.soton.eventb.emf.core.extension.persistence_1.2.0.r15619.jarapplication/zip; charset=binary10.9 KB2013-05-15 18:060
ac.soton.eventb.emf.core.extension.feature_2.1.0.r15619.jarapplication/zip; charset=binary11.8 KB2013-05-15 18:060
ac.soton.eventb.emf.core.extension_2.1.0.r15619.jarapplication/zip; charset=binary88.8 KB2013-05-15 18:060
2.0.0
ac.soton.eventb.emf.core.extension.feature_2.0.0.jarapplication/zip; charset=binary11.7 KB2013-01-16 20:011
ac.soton.eventb.emf.core.extension.persistence_1.1.1.jarapplication/zip; charset=binary10.9 KB2013-01-16 20:010
ac.soton.eventb.emf.core.extension.navigator_2.0.0.jarapplication/zip; charset=binary23.8 KB2013-01-16 20:010
ac.soton.eventb.emf.core.extension_2.0.0.jarapplication/zip; charset=binary62.0 KB2013-01-16 20:010
1.3.0
ac.soton.eventb.emf.core.extension.navigator_1.3.0.201206030057.jarapplication/zip; charset=binary23.6 KB2012-06-03 10:050
ac.soton.eventb.emf.core.extension.persistence_1.1.0.201206030057.jarapplication/zip; charset=binary10.9 KB2012-06-03 10:050
ac.soton.eventb.emf.core.extension_1.1.2.201206030057.jarapplication/zip; charset=binary37.9 KB2012-06-03 10:050
ac.soton.eventb.emf.core.extension.feature_1.3.0.201206030057.jarapplication/zip; charset=binary11.7 KB2012-06-03 10:050
1.2.1
ac.soton.eventb.emf.core.extension.navigator_1.2.1.201205281503.jarapplication/zip; charset=binary22.0 KB2012-05-28 16:440
ac.soton.eventb.emf.core.extension.persistence_1.1.0.201205281503.jarapplication/zip; charset=binary10.9 KB2012-05-28 16:440
ac.soton.eventb.emf.core.extension_1.1.2.201205281503.jarapplication/zip; charset=binary37.9 KB2012-05-28 16:440
ac.soton.eventb.emf.core.extension.feature_1.2.1.201205281503.jarapplication/zip; charset=binary11.7 KB2012-05-28 16:440
1.2.0
ac.soton.eventb.emf.core.extension.persistence_1.1.0.201204300819.jarapplication/zip; charset=binary10.9 KB2012-04-30 09:320
ac.soton.eventb.emf.core.extension.navigator_1.2.0.201204300819.jarapplication/zip; charset=binary22.1 KB2012-04-30 09:310
ac.soton.eventb.emf.core.extension_1.1.2.201204300819.jarapplication/zip; charset=binary37.9 KB2012-04-30 09:310
ac.soton.eventb.emf.core.extension.feature_1.2.0.201204300819.jarapplication/zip; charset=binary11.6 KB2012-04-30 09:310
1.1.0
ac.soton.eventb.emf.core.extension.feature_1.1.0.201204121553.jarapplication/zip; charset=binary11.6 KB2012-04-12 17:350
ac.soton.eventb.emf.core.extension.persistence_1.1.0.201204121553.jarapplication/zip; charset=binary10.9 KB2012-04-12 17:340
ac.soton.eventb.emf.core.extension.navigator_1.1.0.201204121553.jarapplication/zip; charset=binary21.4 KB2012-04-12 17:340
1.0.4
ac.soton.eventb.emf.core.extension.feature_1.0.4.jarapplication/zip; charset=binary11.5 KB2011-11-13 16:411
ac.soton.eventb.emf.core.extension_1.1.2.jarapplication/zip; charset=binary37.8 KB2011-11-13 16:410
ac.soton.eventb.emf.core.extension.navigator_1.0.3.jarapplication/zip; charset=binary16.2 KB2011-11-13 16:410
ac.soton.eventb.emf.core.extension.persistence_1.0.2.jarapplication/zip; charset=binary10.8 KB2011-11-13 16:410
1.0.3
ac.soton.eventb.emf.core.extension.persistence_1.0.1.jarapplication/zip; charset=binary10.3 KB2011-10-17 23:490
ac.soton.eventb.emf.core.extension.navigator_1.0.2.jarapplication/zip; charset=binary16.2 KB2011-10-17 23:490
ac.soton.eventb.emf.core.extension_1.1.2.jarapplication/zip; charset=binary37.8 KB2011-10-17 23:490
ac.soton.eventb.emf.core.extension.feature_1.0.3.jarapplication/zip; charset=binary11.5 KB2011-10-17 23:490
1.0.2
ac.soton.eventb.emf.core.extension.feature_1.0.2.jarapplication/zip; charset=binary11.3 KB2011-10-17 19:390
ac.soton.eventb.emf.core.extension_1.1.1.jarapplication/zip; charset=binary37.8 KB2011-10-17 18:420
ac.soton.eventb.emf.core.extension.navigator_1.0.1.jarapplication/zip; charset=binary16.2 KB2011-10-17 18:420
1.0.1
ac.soton.eventb.emf.core.extension_1.1.1.jarapplication/zip; charset=binary37.8 KB2011-09-14 11:411
ac.soton.eventb.emf.core.extension.feature_1.0.1.jarapplication/zip; charset=binary11.3 KB2011-09-14 11:410
1.0.0
ac.soton.eventb.emf.core.extension.persistence_1.0.0.jarapplication/zip; charset=binary10.3 KB2011-08-23 17:070
ac.soton.eventb.emf.core.extension.navigator_1.0.0.jarapplication/zip; charset=binary16.2 KB2011-08-23 17:071
ac.soton.eventb.emf.core.extension_1.1.0.jarapplication/zip; charset=binary36.1 KB2011-08-23 17:071
ac.soton.eventb.emf.core.extension.feature_1.0.0.jarapplication/zip; charset=binary11.2 KB2011-08-23 17:070
Plugin_ Event-B EMF Framework
3.7.2
readme.txttext/plain; charset=us-ascii0.1 KB2013-05-15 18:030
org.eventb.emf.persistence_2.4.2.r15612.jarapplication/zip; charset=binary76.5 KB2013-05-15 17:590
org.eventb.emf.feature_3.7.2.r16512.jarapplication/zip; charset=binary13.0 KB2013-05-15 17:590
3.7.1
readme.txttext/x-pascal; charset=us-ascii11.8 KB2013-03-15 23:290
org.eventb.emf.formulas_1.3.1.r15527.jarapplication/zip; charset=binary341.3 KB2013-03-15 23:260
org.eventb.emf.persistence_2.4.1.r15527.jarapplication/zip; charset=binary76.4 KB2013-03-15 23:260
org.eventb.emf.core_2.2.5.r15527.jarapplication/zip; charset=binary373.6 KB2013-03-15 23:260
org.eventb.emf.compare_1.4.2.r15527.jarapplication/zip; charset=binary17.7 KB2013-03-15 23:260
org.eventb.emf.feature_3.7.1.r15527.jarapplication/zip; charset=binary13.0 KB2013-03-15 23:260
3.7.0
org.eventb.emf.persistence_2.4.0.201204300914.jarapplication/zip; charset=binary76.5 KB2012-04-30 10:183
org.eventb.emf.formulas_1.3.0.201204300914.jarapplication/zip; charset=binary341.3 KB2012-04-30 10:182
org.eventb.emf.compare_1.4.1.201204300914.jarapplication/zip; charset=binary17.7 KB2012-04-30 10:181
org.eventb.emf.core_2.2.4.201204300914.jarapplication/zip; charset=binary373.1 KB2012-04-30 10:181
org.eventb.emf.feature_3.7.0.201204300914.jarapplication/zip; charset=binary12.9 KB2012-04-30 10:171
3.6.0
org.eventb.emf.persistence_2.4.0.201204121553.jarapplication/zip; charset=binary76.5 KB2012-04-12 17:360
org.eventb.emf.feature_3.6.0.201204121553.jarapplication/zip; charset=binary12.9 KB2012-04-12 17:360
3.5.3
org.eventb.emf.feature_3.5.3.jarapplication/zip; charset=binary12.8 KB2011-10-17 23:500
org.eventb.emf.persistence_2.3.2.jarapplication/zip; charset=binary73.9 KB2011-10-17 23:500
org.eventb.emf.formulas_1.2.1.jarapplication/zip; charset=binary338.7 KB2011-10-17 23:500
org.eventb.emf.core_2.2.4.jarapplication/zip; charset=binary372.5 KB2011-10-17 23:500
org.eventb.emf.compare_1.4.1.jarapplication/zip; charset=binary17.7 KB2011-10-17 23:500
3.5.2
org.eventb.emf.feature_3.5.2.jarapplication/zip; charset=binary12.7 KB2011-10-17 18:430
3.5.1
org.eventb.emf.feature_3.5.1.jarapplication/zip; charset=binary12.7 KB2011-09-14 11:390
org.eventb.emf.core_2.2.3.jarapplication/zip; charset=binary372.5 KB2011-09-14 11:390
3.5.0
org.eventb.emf.core_2.2.2.jarapplication/zip; charset=binary244.2 KB2011-08-23 17:040
org.eventb.emf.compare_1.4.0.jarapplication/zip; charset=binary17.7 KB2011-08-23 17:040
org.eventb.emf.feature_3.5.0.jarapplication/zip; charset=binary12.7 KB2011-08-23 17:040
3.4.0
org.eventb.emf.compare_1.3.1.jarapplication/zip; charset=binary14.1 KB2011-05-07 21:410
org.eventb.emf.formulas_1.2.0.jarapplication/zip; charset=binary338.7 KB2011-05-07 21:410
org.eventb.emf.persistence_2.3.1.jarapplication/zip; charset=binary73.9 KB2011-05-07 10:030
org.eventb.emf.core_2.2.1.jarapplication/zip; charset=binary242.3 KB2011-05-07 10:030
ac.soton.eventb.emf.core.extension_1.0.0.jarapplication/zip; charset=binary31.3 KB2011-05-07 10:030
org.eventb.emf.feature_3.4.0.jarapplication/zip; charset=binary12.6 KB2011-05-07 10:020
3.3.0
org.eventb.emf.persistence_2.3.0.jarapplication/zip; charset=binary73.9 KB2011-03-26 21:231
org.eventb.emf.core_2.2.0.jarapplication/zip; charset=binary242.2 KB2011-03-26 21:230
org.eventb.emf.feature_3.3.0.jarapplication/zip; charset=binary12.4 KB2011-03-26 21:220
3.2.0
org.eventb.emf.formulas_1.2.0.jarapplication/zip; charset=binary338.8 KB2010-10-15 19:430
org.eventb.emf.persistence_2.2.0.jarapplication/zip; charset=binary73.4 KB2010-10-14 17:320
org.eventb.emf.core_2.1.0.jarapplication/zip; charset=binary240.1 KB2010-10-14 17:310
org.eventb.emf.compare_1.3.0.jarapplication/zip; charset=binary14.0 KB2010-10-14 17:300
org.eventb.emf.feature_3.2.0.jarapplication/zip; charset=binary12.2 KB2010-10-14 17:300
3.2.1
org.eventb.emf.persistence_2.2.1.jarapplication/zip; charset=binary73.5 KB2010-10-15 19:250
org.eventb.emf.compare_1.3.1.jarapplication/zip; charset=binary14.1 KB2010-10-15 19:240
org.eventb.emf.feature_3.2.1.jarapplication/zip; charset=binary12.3 KB2010-10-15 19:230
3.1.0
org.eventb.emf.compare_1.2.0.jarapplication/zip; charset=binary25.7 KB2010-06-19 11:430
org.eventb.emf.feature_3.1.0.jarapplication/zip; charset=binary12.2 KB2010-06-19 11:420
3.0.0
org.eventb.emf.persistence_2.1.0.jarapplication/zip; charset=binary70.1 KB2010-06-18 17:260
org.eventb.emf.formulas_1.1.0.jarapplication/zip; charset=binary337.1 KB2010-06-18 17:260
org.eventb.emf.compare_1.1.0.jarapplication/zip; charset=binary25.1 KB2010-06-18 17:250
org.eventb.emf.core_2.0.0.jarapplication/zip; charset=binary235.4 KB2010-06-18 17:250
org.eventb.emf.feature_3.0.0.jarapplication/zip; charset=binary12.1 KB2010-06-18 17:250
2.0.0
org.eventb.emf.compare_1.0.0.jarapplication/zip; charset=binary24.9 KB2010-05-07 16:450
org.eventb.emf.persistence_2.0.0.jarapplication/zip; charset=binary69.3 KB2010-05-07 16:440
org.eventb.emf.formulas_1.0.3.jarapplication/zip; charset=binary336.2 KB2010-05-07 16:441
org.eventb.emf.core_1.3.0.jarapplication/zip; charset=binary204.5 KB2010-05-07 16:440
org.eventb.emf.feature_2.0.0.jarapplication/zip; charset=binary11.8 KB2010-05-07 16:430
1.3.0
org.eventb.emf.feature_1.3.0.jarapplication/zip; charset=binary11.6 KB2010-03-11 22:440
org.eventb.emf.persistence_1.2.0.jarapplication/zip; charset=binary49.5 KB2010-03-11 21:510
org.eventb.emf.core_1.3.0.jarapplication/zip; charset=binary204.5 KB2010-03-11 21:510
1.2.1
org.eventb.emf.feature_1.2.1.jarapplication/zip; charset=binary11.6 KB2010-02-07 13:060
1.2.0
EventBEMFreleaseNotes.rtftext/rtf; charset=us-ascii2.5 KB2010-02-06 15:080
org.eventb.emf.persistence_1.1.2.jarapplication/zip; charset=binary48.8 KB2010-02-06 14:511
org.eventb.emf.formulas_1.0.3.jarapplication/zip; charset=binary336.2 KB2010-02-06 14:502
org.eventb.emf.core_1.2.0.jarapplication/zip; charset=binary203.5 KB2010-02-06 14:490
org.eventb.emf.feature_1.2.0.jarapplication/zip; charset=binary11.6 KB2010-02-06 14:480
1.1.2
org.eventb.emf.feature_1.1.2.jarapplication/zip; charset=binary11.6 KB2009-10-15 13:010
1.1.1
org.eventb.emf.persistence_1.1.1.jarapplication/zip; charset=binary48.6 KB2009-10-14 18:050
org.eventb.emf.formulas_1.0.3.jarapplication/zip; charset=binary326.2 KB2009-10-14 18:050
org.eventb.emf.core_1.0.5.jarapplication/zip; charset=binary194.9 KB2009-10-14 18:040
Core_Rodin_Platform
2.8RC1
rodin-2.8RC1.r365721c-sources.zipapplication/zip; charset=binary13.3 MB2013-05-07 18:500
rodin-2.8RC1-win32.win32.x86_64.zipapplication/zip; charset=binary67.9 MB2013-05-07 18:500
rodin-2.8RC1-win32.win32.x86.zipapplication/zip; charset=binary67.9 MB2013-05-07 18:500
rodin-2.8RC1-repo.zipapplication/zip; charset=binary70.6 MB2013-05-07 18:490
rodin-2.8RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2013-05-07 18:490
rodin-2.8RC1-linux.gtk.x86_64.zipapplication/zip; charset=binary68.0 MB2013-05-07 18:490
rodin-2.8RC1-linux.gtk.x86.zipapplication/zip; charset=binary67.8 MB2013-05-07 18:480
rodin-2.8RC1-dev.zipapplication/zip; charset=binary13.9 MB2013-05-07 18:480
2.7
rodin-2.7.r15250-sources.zipapplication/zip; charset=binary13.3 MB2012-10-31 18:590
rodin-2.7-win32.win32.x86_64.zipapplication/zip; charset=binary68.0 MB2012-10-31 18:595
rodin-2.7-win32.win32.x86.zipapplication/zip; charset=binary68.0 MB2012-10-31 18:596
rodin-2.7-repo.zipapplication/zip; charset=binary70.6 MB2012-10-31 18:581
rodin-2.7-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2012-10-31 18:581
rodin-2.7-linux.gtk.x86_64.zipapplication/zip; charset=binary68.1 MB2012-10-31 18:571
rodin-2.7-linux.gtk.x86.zipapplication/zip; charset=binary67.8 MB2012-10-31 18:571
rodin-2.7-dev.zipapplication/zip; charset=binary27.9 MB2012-10-31 18:560
DefaultAuto_ML800application/xml; charset=us-ascii2.1 KB2012-10-31 18:560
README_2.7.txttext/plain; charset=us-ascii1.2 KB2012-10-31 18:560
2.7RC1
rodin-2.7RC1.r15200-sources.zipapplication/zip; charset=binary13.3 MB2012-10-18 14:060
rodin-2.7RC1-win32.win32.x86_64.zipapplication/zip; charset=binary68.0 MB2012-10-18 14:060
rodin-2.7RC1-win32.win32.x86.zipapplication/zip; charset=binary68.0 MB2012-10-18 14:061
rodin-2.7RC1-repo.zipapplication/zip; charset=binary70.6 MB2012-10-18 14:050
rodin-2.7RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2012-10-18 14:050
rodin-2.7RC1-linux.gtk.x86_64.zipapplication/zip; charset=binary68.1 MB2012-10-18 14:041
rodin-2.7RC1-linux.gtk.x86.zipapplication/zip; charset=binary67.8 MB2012-10-18 14:040
2.6
rodin-2.6.r15029-sources.zipapplication/zip; charset=binary13.3 MB2012-07-31 19:472
rodin-2.6-win32.win32.x86_64.zipapplication/zip; charset=binary67.9 MB2012-07-31 19:471
rodin-2.6-win32.win32.x86.zipapplication/zip; charset=binary68.0 MB2012-07-31 19:470
rodin-2.6-repo.zipapplication/zip; charset=binary70.6 MB2012-07-31 19:470
rodin-2.6-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2012-07-31 19:461
rodin-2.6-linux.gtk.x86_64.zipapplication/zip; charset=binary68.0 MB2012-07-31 19:460
rodin-2.6-linux.gtk.x86.zipapplication/zip; charset=binary67.8 MB2012-07-31 19:461
rodin-2.6-dev.zipapplication/zip; charset=binary13.9 MB2012-07-31 19:454
2.6RC1
rodin-2.6RC1.r14946-sources.zipapplication/zip; charset=binary13.3 MB2012-07-18 20:340
rodin-2.6RC1-win32.win32.x86_64.zipapplication/zip; charset=binary67.9 MB2012-07-18 20:341
rodin-2.6RC1-win32.win32.x86.zipapplication/zip; charset=binary68.0 MB2012-07-18 20:340
rodin-2.6RC1-repo.zipapplication/zip; charset=binary70.6 MB2012-07-18 20:330
rodin-2.6RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2012-07-18 20:331
rodin-2.6RC1-linux.gtk.x86_64.zipapplication/zip; charset=binary68.0 MB2012-07-18 20:330
rodin-2.6RC1-linux.gtk.x86.zipapplication/zip; charset=binary67.8 MB2012-07-18 20:330
rodin-2.6RC1-dev.zipapplication/zip; charset=binary27.6 MB2012-07-18 20:320
2.5
README_2.5.txttext/plain; charset=us-ascii1.2 KB2012-04-27 17:190
rodin-2.5-repo.zipapplication/zip; charset=binary70.3 MB2012-04-27 15:450
rodin-2.5-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.3 MB2012-04-27 15:450
rodin-2.5-linux.gtk.x86_64.zipapplication/zip; charset=binary67.7 MB2012-04-27 15:450
rodin-2.5-linux.gtk.x86.zipapplication/zip; charset=binary67.5 MB2012-04-27 15:451
rodin-2.5-dev.zipapplication/zip; charset=binary13.7 MB2012-04-27 15:450
rodin-2.5.r14636-sources.zipapplication/zip; charset=binary13.1 MB2012-04-27 15:430
rodin-2.5-win32.win32.x86_64.zipapplication/zip; charset=binary67.7 MB2012-04-27 15:421
rodin-2.5-win32.win32.x86.zipapplication/zip; charset=binary67.7 MB2012-04-27 15:4216
2.5RC1
rodin-2.5RC1.r14568-sources.zipapplication/zip; charset=binary13.1 MB2012-04-17 18:580
rodin-2.5RC1-win32.win32.x86_64.zipapplication/zip; charset=binary68.0 MB2012-04-17 18:580
rodin-2.5RC1-win32.win32.x86.zipapplication/zip; charset=binary68.0 MB2012-04-17 18:570
rodin-2.5RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.6 MB2012-04-17 18:560
rodin-2.5RC1-linux.gtk.x86_64.zipapplication/zip; charset=binary68.1 MB2012-04-17 18:550
rodin-2.5RC1-linux.gtk.x86.zipapplication/zip; charset=binary67.9 MB2012-04-17 18:550
rodin-2.5RC1-dev.zipapplication/zip; charset=binary13.7 MB2012-04-17 18:540
2.4
rodin-2.4.r14093-sources.zipapplication/zip; charset=binary13.1 MB2012-02-01 17:481
rodin-2.4-win32.win32.x86_64.zipapplication/zip; charset=binary67.7 MB2012-02-01 17:471
rodin-2.4-win32.win32.x86.zipapplication/zip; charset=binary67.8 MB2012-02-01 17:473
rodin-2.4-repo.zipapplication/zip; charset=binary70.3 MB2012-02-01 17:470
rodin-2.4-macosx.cocoa.x86_64.zipapplication/zip; charset=binary67.4 MB2012-02-01 17:461
rodin-2.4-linux.gtk.x86_64.zipapplication/zip; charset=binary67.8 MB2012-02-01 17:461
rodin-2.4-linux.gtk.x86.zipapplication/zip; charset=binary67.6 MB2012-02-01 17:451
rodin-2.4-dev.zipapplication/zip; charset=binary13.7 MB2012-02-01 17:454
README_2.4.txttext/plain; charset=us-ascii1.2 KB2012-02-01 17:450
DefaultAuto_ML800application/xml; charset=us-ascii2.1 KB2012-02-01 17:450
2.4RC1
rodin-2.4RC1-win32.win32.x86_64.zipapplication/zip; charset=binary69.8 MB2012-01-17 10:451
rodin-2.4RC1.r14018-sources.zipapplication/zip; charset=binary13.1 MB2012-01-17 10:450
rodin-2.4RC1-win32.win32.x86.zipapplication/zip; charset=binary69.8 MB2012-01-17 10:450
rodin-2.4RC1-repo.zipapplication/zip; charset=binary73.5 MB2012-01-17 10:450
rodin-2.4RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary69.4 MB2012-01-17 10:450
rodin-2.4RC1-linux.gtk.x86_64.zipapplication/zip; charset=binary69.8 MB2012-01-17 10:450
rodin-2.4RC1-linux.gtk.x86.zipapplication/zip; charset=binary69.7 MB2012-01-17 10:440
rodin-2.4RC1-dev.zipapplication/zip; charset=binary16.8 MB2012-01-17 10:440
2.3
rodin-2.3.r13308-sources.zipapplication/zip; charset=binary12.6 MB2011-09-30 17:331
rodin-2.3-win32.win32.x86.zipapplication/zip; charset=binary59.6 MB2011-09-30 17:334
rodin-2.3-repo.zipapplication/zip; charset=binary66.1 MB2011-09-30 17:320
rodin-2.3-macosx.cocoa.x86_64.zipapplication/zip; charset=binary59.2 MB2011-09-30 17:300
rodin-2.3-linux.gtk.x86.zipapplication/zip; charset=binary59.5 MB2011-09-30 17:291
rodin-2.3-dev.zipapplication/zip; charset=binary16.2 MB2011-09-30 17:281
README_2.3.txttext/plain; charset=us-ascii1.2 KB2011-09-30 17:280
2.3RC1
rodin-2.3RC1.r13182-sources.zipapplication/zip; charset=binary12.6 MB2011-09-20 15:440
rodin-2.3RC1-win32.win32.x86.zipapplication/zip; charset=binary59.6 MB2011-09-20 15:440
rodin-2.3RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary59.2 MB2011-09-20 15:420
rodin-2.3RC1-linux.gtk.x86.zipapplication/zip; charset=binary59.4 MB2011-09-20 15:410
rodin-2.3RC1-dev.zipapplication/zip; charset=binary16.1 MB2011-09-20 15:390
README_2.3.txttext/plain; charset=us-ascii1.2 KB2011-09-20 15:390
2.2.2
rodin-2.2.2.r12609-sources.zipapplication/zip; charset=binary12.5 MB2011-07-27 14:280
rodin-2.2.2-win32.win32.x86.zipapplication/zip; charset=binary58.0 MB2011-07-27 14:260
rodin-2.2.2-repo.zipapplication/zip; charset=binary7.4 MB2011-07-27 14:150
rodin-2.2.2-macosx.cocoa.x86_64.zipapplication/zip; charset=binary57.7 MB2011-07-27 14:130
rodin-2.2.2-linux.gtk.x86.zipapplication/zip; charset=binary58.0 MB2011-07-27 14:010
rodin-2.2.2-dev.zipapplication/zip; charset=binary15.7 MB2011-07-27 13:510
changeLog.txttext/plain; charset=us-ascii16.1 KB2011-07-27 13:480
README_2.2.2.txttext/plain; charset=us-ascii1.2 KB2011-07-27 13:480
2.2.1
rodin-2.2.1.r12521-sources.zipapplication/zip; charset=binary11.5 MB2011-07-19 19:520
rodin-2.2.1-win32.win32.x86.zipapplication/zip; charset=binary57.0 MB2011-07-19 19:502
rodin-2.2.1-repo.zipapplication/zip; charset=binary6.5 MB2011-07-19 19:390
README_2.2.1.txttext/plain; charset=us-ascii1.2 KB2011-07-19 19:390
changeLog.txttext/plain; charset=us-ascii0.7 KB2011-07-19 19:390
rodin-2.2.1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.8 MB2011-07-19 19:380
rodin-2.2.1-linux.gtk.x86.zipapplication/zip; charset=binary57.0 MB2011-07-19 19:220
rodin-2.2.1-dev.zipapplication/zip; charset=binary14.8 MB2011-07-19 18:550
2.2
README_2.2.txttext/plain; charset=us-ascii1.2 KB2011-06-01 12:210
rodin-2.2.r11814-sources.zipapplication/zip; charset=binary11.5 MB2011-06-01 12:135
rodin-2.2-win32.win32.x86.zipapplication/zip; charset=binary57.0 MB2011-06-01 12:105
rodin-2.2-repo.zipapplication/zip; charset=binary6.5 MB2011-06-01 11:590
rodin-2.2-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.8 MB2011-06-01 11:583
rodin-2.2-linux.gtk.x86.zipapplication/zip; charset=binary57.0 MB2011-06-01 11:410
rodin-2.2-dev.zipapplication/zip; charset=binary14.8 MB2011-06-01 11:263
2.2RC1
rodin-2.2RC1.r11658-sources.zipapplication/zip; charset=binary11.5 MB2011-05-17 15:460
rodin-2.2RC1-win32.win32.x86.zipapplication/zip; charset=binary57.0 MB2011-05-17 15:410
rodin-2.2RC1-repo.zipapplication/zip; charset=binary6.5 MB2011-05-17 15:140
rodin-2.2RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.8 MB2011-05-17 15:111
rodin-2.2RC1-linux.gtk.x86.zipapplication/zip; charset=binary57.0 MB2011-05-17 14:430
rodin-2.2RC1-dev.zipapplication/zip; charset=binary14.8 MB2011-05-17 14:160
2.1.1
changeLog_2.1.1.txttext/plain; charset=us-ascii11.4 KB2011-03-11 18:040
README_2.1.1.txttext/plain; charset=us-ascii1.2 KB2011-03-11 18:040
rodin-2.1.1.r10985-sources.zipapplication/zip; charset=binary9.9 MB2011-03-11 18:014
rodin-2.1.1-win32.win32.x86.zipapplication/zip; charset=binary57.1 MB2011-03-11 17:566
rodin-2.1.1-repo.zipapplication/zip; charset=binary6.6 MB2011-03-11 17:271
rodin-2.1.1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.9 MB2011-03-11 17:240
rodin-2.1.1-linux.gtk.x86.zipapplication/zip; charset=binary57.1 MB2011-03-11 16:540
rodin-2.1.1-dev.zipapplication/zip; charset=binary13.6 MB2011-03-11 16:250
2.1
README_2.1.txttext/plain; charset=us-ascii1.2 KB2011-02-08 19:130
relnotes_2.1.txttext/plain; charset=us-ascii1.2 KB2011-02-08 19:090
rodin-2.1-dev.zipapplication/zip; charset=binary13.6 MB2011-02-04 19:370
rodin-2.1.r10764-sources.zipapplication/zip; charset=binary9.9 MB2011-02-04 19:311
rodin-2.1-win32.win32.x86.zipapplication/zip; charset=binary57.1 MB2011-02-04 19:270
rodin-2.1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.9 MB2011-02-04 19:010
rodin-2.1-linux.gtk.x86.zipapplication/zip; charset=binary57.1 MB2011-02-04 18:340
2.1RC1
rodin-2.1RC1-dev.zipapplication/zip; charset=binary13.5 MB2011-01-31 14:560
rodin-2.1RC1.r10676-sources.zipapplication/zip; charset=binary9.9 MB2011-01-24 20:540
rodin-2.1RC1-win32.win32.x86.zipapplication/zip; charset=binary57.1 MB2011-01-24 20:520
rodin-2.1RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.8 MB2011-01-24 20:400
rodin-2.1RC1-linux.gtk.x86.zipapplication/zip; charset=binary57.1 MB2011-01-24 20:280
2.0.1
rodin-2.0.1-dev.zipapplication/zip; charset=binary13.1 MB2010-11-16 12:440
rodin-2.0.1.r10265-sources.zipapplication/zip; charset=binary9.7 MB2010-11-16 12:280
rodin-2.0.1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.6 MB2010-11-16 12:040
rodin-2.0.1-win32.win32.x86.zipapplication/zip; charset=binary56.9 MB2010-11-10 22:190
rodin-2.0.1-linux.gtk.x86.zipapplication/zip; charset=binary56.9 MB2010-11-10 22:180
relnotes_2.0.1.txttext/plain; charset=us-ascii1.2 KB2010-11-10 22:180
2.0
rodin-2.0-dev.zipapplication/zip; charset=binary13.0 MB2010-10-20 16:000
relnotes_2.0.txttext/plain; charset=us-ascii1.2 KB2010-10-08 22:590
rodin-2.0-win32.win32.x86.zipapplication/zip; charset=binary56.9 MB2010-10-08 20:240
rodin-2.0-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.6 MB2010-10-08 19:580
rodin-2.0-linux.gtk.x86.zipapplication/zip; charset=binary56.9 MB2010-10-08 19:460
rodin-2.0.r9964-sources.zipapplication/zip; charset=binary9.7 MB2010-10-08 19:320
2.0RC1
rodin-2.0RC1-linux.gtk.x86.zipapplication/zip; charset=binary56.9 MB2010-09-27 20:000
relnotes_2.0RC1.txttext/plain; charset=us-ascii1.2 KB2010-09-27 19:530
rodin-2.0RC1-win32.win32.x86.zipapplication/zip; charset=binary56.9 MB2010-09-27 19:470
rodin-2.0RC1.r9848-sources.zipapplication/zip; charset=binary9.7 MB2010-09-27 19:340
rodin-2.0RC1-macosx.cocoa.x86_64.zipapplication/zip; charset=binary56.6 MB2010-09-27 19:300
1.3.1
rodin-1.3.1-sources.zipapplication/zip; charset=binary7.4 MB2010-07-06 12:132
rodin-1.3.1-win32.zipapplication/zip; charset=binary51.8 MB2010-06-15 18:470
rodin-1.3.1-macosx.zipapplication/zip; charset=binary51.6 MB2010-06-15 18:150
rodin-1.3.1-linux.zipapplication/zip; charset=binary51.9 MB2010-06-15 17:510
relnotes_1.3.1.txttext/plain; charset=utf-811.9 KB2010-06-15 17:370
1.3
rodin-1.3-dev.zipapplication/zip; charset=binary10.5 MB2010-05-04 16:590
rodin-1.3-win32.zipapplication/zip; charset=binary51.8 MB2010-05-03 10:510
rodin-1.3-sources.zipapplication/zip; charset=binary7.4 MB2010-04-30 22:560
rodin-1.3-macosx.zipapplication/zip; charset=binary51.6 MB2010-04-30 22:530
rodin-1.3-linux.zipapplication/zip; charset=binary51.9 MB2010-04-30 22:320
relnotes_1.3.txttext/plain; charset=utf-811.4 KB2010-04-30 18:260
1.3RC1
rodin-1.3RC1-win32.win32.x86.zipapplication/zip; charset=binary51.5 MB2010-04-20 19:240
rodin-1.3RC1-sources.zipapplication/zip; charset=binary7.4 MB2010-04-20 18:590
rodin-1.3RC1-macosx.carbon.ppc.zipapplication/zip; charset=binary51.3 MB2010-04-20 18:550
rodin-1.3RC1-linux.gtk.x86.zipapplication/zip; charset=binary51.5 MB2010-04-20 18:300
1.2
rodin-1.2-win32.zipapplication/zip; charset=binary51.4 MB2010-02-03 14:040
rodin-1.2-sources.zipapplication/zip; charset=binary7.3 MB2010-02-03 14:041
rodin-1.2-macosx.zipapplication/zip; charset=binary51.3 MB2010-02-03 14:040
rodin-1.2-linux.zipapplication/zip; charset=binary51.5 MB2010-02-03 14:030
relnotes_1.2.txttext/plain; charset=us-ascii10.8 KB2010-02-02 18:530
1.2RC1
rodin-1.2RC1-win32.win32.x86.zipapplication/x-zip51.5 MB2010-01-18 00:360
rodin-1.2RC1-sources.zipapplication/x-zip7.3 MB2010-01-18 00:350
rodin-1.2RC1-macosx.carbon.ppc.zipapplication/x-zip51.2 MB2010-01-18 00:350
rodin-1.2RC1-linux.gtk.x86.zipapplication/x-zip51.5 MB2010-01-18 00:350
1.1
relnotes.txttext/plain; charset=us-ascii10.8 KB2009-10-15 16:420
rodin-1.1-win32.zipapplication/x-zip48.7 MB2009-10-15 16:410
rodin-1.1-sources.zipapplication/x-zip7.2 MB2009-10-15 16:400
rodin-1.1-macosx.zipapplication/x-zip48.5 MB2009-10-15 16:400
rodin-1.1-linux.zipapplication/x-zip48.7 MB2009-10-15 16:400
1.1RC1
relnotes.txttext/plain; charset=us-ascii1.2 KB2009-10-01 16:050
rodin-1.1RC1-win32.zipapplication/x-zip48.7 MB2009-10-01 15:580
rodin-1.1RC1-sources.zipapplication/x-zip7.1 MB2009-10-01 15:580
rodin-1.1RC1-macosx.zipapplication/x-zip48.5 MB2009-10-01 15:580
rodin-1.1RC1-linux.zipapplication/x-zip48.7 MB2009-10-01 15:580
1.0
rodin-1.0-linux.zipapplication/x-zip48.4 MB2009-07-01 22:560
rodin-1.0-macosx.zipapplication/x-zip48.2 MB2009-07-01 22:560
rodin-1.0-sources.zipapplication/x-zip6.9 MB2009-07-01 22:560
rodin-1.0-win32.zipapplication/x-zip48.5 MB2009-07-01 22:560
1.0RC1
rodin-1.0RC1-sources.zipapplication/x-zip6.9 MB2009-06-04 19:470
rodin-1.0RC1-linux.zipapplication/x-zip48.4 MB2009-06-04 19:470
rodin-1.0RC1-macosx.zipapplication/x-zip48.2 MB2009-06-04 19:470
rodin-1.0RC1-win32.zipapplication/x-zip48.5 MB2009-06-04 19:470
0.9.2.1
rodin-0.9.2.1-linux.zipapplication/x-zip48.0 MB2009-02-18 18:190
rodin-0.9.2.1-macosx.zipapplication/x-zip47.7 MB2009-02-18 18:190
rodin-0.9.2.1-sources.zipapplication/x-zip6.7 MB2009-02-18 18:190
rodin-0.9.2.1-win32.zipapplication/x-zip48.1 MB2009-02-18 18:190
0.9.2
rodin-0.9.2-linux.zipapplication/x-zip48.0 MB2009-02-09 14:071
rodin-0.9.2-macosx.zipapplication/x-zip47.7 MB2009-02-09 14:070
rodin-0.9.2-sources.zipapplication/x-zip6.6 MB2009-02-09 14:070
rodin-0.9.2-win32.zipapplication/x-zip48.1 MB2009-02-09 14:070
0.9.1
rodin-0.9.1-win32.zipapplication/x-zip47.9 MB2009-01-14 16:050
rodin-0.9.1-macosx.zipapplication/x-zip47.5 MB2009-01-14 15:440
rodin-0.9.1-linux.zipapplication/x-zip47.8 MB2009-01-14 15:160
rodin-0.9.1-sources.zipapplication/x-zip6.4 MB2009-01-14 15:010
0.9.0
rodin-0.9.0-linux.zipapplication/x-zip43.5 MB2008-11-02 22:060
rodin-0.9.0-macosx.zipapplication/x-zip43.2 MB2008-11-02 22:060
rodin-0.9.0-sources.zipapplication/x-zip6.4 MB2008-11-02 22:060
rodin-0.9.0-win32.zipapplication/x-zip43.5 MB2008-11-02 22:060
0.8.2
rodin-0.8.2-win32.zipapplication/x-zip44.2 MB2008-03-11 20:580
rodin-0.8.2-sources.zipapplication/x-zip6.2 MB2008-03-11 20:120
rodin-0.8.2-macosx.zipapplication/x-zip43.9 MB2008-03-11 20:120
rodin-0.8.2-linux.zipapplication/x-zip44.0 MB2008-03-11 20:120
0.8.1
rodin-0.8.1-win32.zipapplication/x-zip44.1 MB2007-10-31 15:150
rodin-0.8.1-macosx.zipapplication/x-zip43.8 MB2007-10-31 15:150
rodin-0.8.1-linux.zipapplication/x-zip43.9 MB2007-10-31 15:150
rodin-0.8.1-sources.zipapplication/x-zip6.2 MB2007-10-31 14:450
0.8.0
rodin-0.8.0-win32.zipapplication/x-zip44.0 MB2007-09-05 12:020
rodin-0.8.0-sources.zipapplication/x-zip6.2 MB2007-09-05 12:020
rodin-0.8.0-macosx.zipapplication/x-zip43.7 MB2007-09-05 12:020
rodin-0.8.0-linux.zipapplication/x-zip43.9 MB2007-09-05 12:020
0.7.6
rodin-0.7.6-win32.zipapplication/x-zip44.6 MB2007-08-24 18:010
rodin-0.7.6-sources.zipapplication/x-zip5.9 MB2007-08-24 18:010
rodin-0.7.6-macosx.zipapplication/x-zip44.5 MB2007-08-24 18:010
rodin-0.7.6-linux.zipapplication/x-zip44.5 MB2007-08-24 18:010
0.7.5
rodin-0.7.5-win32.zipapplication/x-zip39.1 MB2007-07-05 08:070
rodin-0.7.5-sources.zipapplication/x-zip5.8 MB2007-07-05 08:010
rodin-0.7.5-macosx.zipapplication/x-zip38.4 MB2007-07-05 07:520
rodin-0.7.5-linux.zipapplication/x-zip39.1 MB2007-07-05 07:410
0.7.4
rodin-0.7.4-win32.zipapplication/x-zip38.8 MB2007-05-07 13:420
rodin-0.7.4-sources.zipapplication/x-zip5.7 MB2007-05-07 13:420
rodin-0.7.4-macosx.zipapplication/x-zip38.1 MB2007-05-07 13:420
rodin-0.7.4-linux.zipapplication/x-zip38.8 MB2007-05-07 13:420
0.7.3
rodin-0.7.3-macosx.zipapplication/x-zip37.9 MB2007-03-01 10:520
rodin-0.7.3-win32.zipapplication/x-zip38.1 MB2007-03-01 10:470
rodin-0.7.3-sources.zipapplication/x-zip5.6 MB2007-03-01 10:473
rodin-0.7.3-linux.zipapplication/x-zip38.1 MB2007-03-01 10:470
0.7.2
rodin-0.7.2-win32.zipapplication/x-zip38.0 MB2007-02-16 09:250
rodin-0.7.2-sources.zipapplication/x-zip5.5 MB2007-02-16 09:250
rodin-0.7.2-macosx.zipapplication/x-zip37.9 MB2007-02-16 09:250
rodin-0.7.2-linux.zipapplication/x-zip38.1 MB2007-02-16 09:250
0.7.1
rodin-0.7.1-win32.zipapplication/x-zip37.9 MB2006-12-21 17:190
rodin-0.7.1-sources.zipapplication/x-zip5.4 MB2006-12-21 17:190
rodin-0.7.1-macosx.zipapplication/x-zip37.7 MB2006-12-21 17:190
rodin-0.7.1-linux.zipapplication/x-zip37.9 MB2006-12-21 17:190
0.7.0
rodin-0.7.0-win32.zipapplication/x-zip37.8 MB2006-12-08 15:140
rodin-0.7.0-sources.zipapplication/x-zip5.4 MB2006-12-08 15:140
rodin-0.7.0-macosx.zipapplication/x-zip37.7 MB2006-12-08 15:140
rodin-0.7.0-linux.zipapplication/x-zip37.9 MB2006-12-08 15:130
0.6.1
rodin-0.6.1-win32.zipapplication/x-zip31.1 MB2006-11-04 19:420
rodin-0.6.1-sources.zipapplication/x-zip5.3 MB2006-11-04 19:420
rodin-0.6.1-macosx.zipapplication/x-zip30.9 MB2006-11-04 19:420
rodin-0.6.1-linux.zipapplication/x-zip31.0 MB2006-11-04 19:410
0.6.0
rodin-0.6.0-win32.zipapplication/x-zip31.1 MB2006-10-19 09:400
rodin-0.6.0-sources.zipapplication/x-zip5.3 MB2006-10-19 09:400
rodin-0.6.0-macosx.zipapplication/x-zip31.0 MB2006-10-19 09:400
rodin-0.6.0-linux.zipapplication/x-zip31.0 MB2006-10-19 09:400
0.5.4
rodin-0.5.4-win32.2.zipapplication/x-zip31.0 MB2006-04-06 15:270
rodin-0.5.4-sources.zipapplication/x-zip5.2 MB2006-04-06 15:130
rodin-0.5.4-linux.zipapplication/x-zip30.8 MB2006-04-06 15:110
0.5.0
rodin-0.5.0-win32.zipapplication/x-zip30.8 MB2006-03-01 14:520
rodin-0.5.0-linux.zipapplication/x-zip31.6 MB2006-03-01 14:520
Plugin_Generic_Instantiation
1.0.1
ac.soton.genericInstantiation.ui_1.0.0.jarapplication/zip; charset=binary174.7 KB2013-03-05 17:330
ac.soton.genericinstantiation.core_1.0.0.jarapplication/zip; charset=binary233.3 KB2013-03-05 17:330
ac.soton.genericInstantiation.feature_1.0.1.jarapplication/zip; charset=binary11.6 KB2013-03-05 17:320
1.0.0
ac.ddorf.refactory.eventb_1.2.0.201301091658.jarapplication/zip; charset=binary78.7 KB2013-01-09 18:110
ac.soton.genericInstantiation.feature_1.0.0.jarapplication/zip; charset=binary11.6 KB2013-01-09 18:020
ac.soton.genericInstantiation.ui_1.0.0.jarapplication/zip; charset=binary174.7 KB2012-12-14 16:090
ac.soton.genericinstantiation.core_1.0.0.jarapplication/zip; charset=binary233.3 KB2012-12-14 16:090
Plugin_Decomposition
1.2.6
ch.ethz.eventb.decomposition_feature_1.2.6.jarapplication/zip; charset=binary14.1 KB2013-02-15 15:530
ch.ethz.eventb.decomposition.ui_1.2.6.jarapplication/zip; charset=binary178.1 KB2013-02-15 15:530
ch.ethz.eventb.decomposition.core_1.2.6.jarapplication/zip; charset=binary77.6 KB2013-02-15 15:530
ch.ethz.eventb.decomposition_1.2.6.jarapplication/zip; charset=binary485.7 KB2013-02-15 15:530
1.2.5
ch.ethz.eventb.decomposition_1.2.5.jarapplication/zip; charset=binary485.5 KB2012-12-11 15:300
ch.ethz.eventb.decomposition.ui_1.2.5.jarapplication/zip; charset=binary178.1 KB2012-12-11 15:300
ch.ethz.eventb.decomposition.core_1.2.5.jarapplication/zip; charset=binary77.6 KB2012-12-11 15:300
ch.ethz.eventb.decomposition_feature_1.2.5.jarapplication/zip; charset=binary14.1 KB2012-12-11 15:300
1.2.4
ch.ethz.eventb.decomposition.core_1.2.4.jarapplication/zip; charset=binary77.6 KB2012-08-16 13:371
ch.ethz.eventb.decomposition.ui_1.2.4.jarapplication/zip; charset=binary178.1 KB2012-08-16 13:370
ch.ethz.eventb.decomposition_1.2.4.jarapplication/zip; charset=binary485.4 KB2012-08-16 13:371
ch.ethz.eventb.decomposition_feature_1.2.4.jarapplication/zip; charset=binary14.1 KB2012-08-16 13:370
1.2.3
ch.ethz.eventb.decomposition.ui_1.2.1.jarapplication/zip; charset=binary173.9 KB2012-06-22 18:420
ch.ethz.eventb.decomposition.core_1.2.2.jarapplication/zip; charset=binary77.0 KB2012-06-22 18:421
ch.ethz.eventb.decomposition_1.2.3.jarapplication/zip; charset=binary485.4 KB2012-06-22 18:420
ch.ethz.eventb.decomposition_feature_1.2.3.jarapplication/zip; charset=binary14.1 KB2012-06-22 18:420
1.2.2
ch.ethz.eventb.decomposition_1.2.2.zipapplication/zip; charset=binary2.1 MB2011-07-04 12:390
ch.ethz.eventb.decomposition_1.2.2.jarapplication/zip; charset=binary482.4 KB2011-07-04 12:390
ch.ethz.eventb.decomposition_feature_1.2.2.jarapplication/zip; charset=binary14.1 KB2011-07-04 12:390
1.2.1
ch.ethz.eventb.decomposition_1.2.1.jarapplication/zip; charset=binary481.7 KB2011-06-29 16:080
ch.ethz.eventb.decomposition.core_1.2.1.jarapplication/zip; charset=binary63.3 KB2011-06-29 16:080
ch.ethz.eventb.decomposition_feature_1.2.1.jarapplication/zip; charset=binary14.1 KB2011-06-29 16:080
ch.ethz.eventb.decomposition_1.2.1..zipapplication/zip; charset=binary2.1 MB2011-06-29 16:080
1.2.0
ch.ethz.eventb.decomposition_1.2.0.jarapplication/zip; charset=binary481.1 KB2011-02-11 19:243
ch.ethz.eventb.decomposition.ui_1.2.0.jarapplication/zip; charset=binary174.8 KB2011-02-11 19:240
ch.ethz.eventb.decomposition.core_1.2.0.jarapplication/zip; charset=binary63.3 KB2011-02-11 19:241
ch.ethz.eventb.decomposition_feature_1.2.0.jarapplication/zip; charset=binary14.0 KB2011-02-11 19:241
ch.ethz.eventb.decomposition.1.2.0.zipapplication/zip; charset=binary2.1 MB2011-02-11 17:554
1.1.1
ch.ethz.eventb.decomposition_1.1.1.jarapplication/zip; charset=binary480.3 KB2010-11-25 19:320
ch.ethz.eventb.decomposition_feature_1.1.1.jarapplication/zip; charset=binary13.9 KB2010-11-25 19:310
1.1.0
ch.ethz.eventb.decomposition_feature_1.1.0.jarapplication/zip; charset=binary13.9 KB2010-11-08 12:520
ch.ethz.eventb.decomposition_1.1.0.zipapplication/zip; charset=binary1.7 MB2010-11-08 12:370
ch.ethz.eventb.decomposition_1.1.0.jarapplication/zip; charset=binary480.2 KB2010-11-08 12:370
ch.ethz.eventb.decomposition.ui_1.1.0.jarapplication/zip; charset=binary174.3 KB2010-11-08 12:371
ch.ethz.eventb.decomposition.core_1.1.0.jarapplication/zip; charset=binary62.2 KB2010-11-08 12:370
1.0.2
ch.ethz.eventb.decomposition_1.0.2.201007061329.zipapplication/zip; charset=binary2.0 MB2010-07-06 14:460
ch.ethz.eventb.decomposition.ui_1.0.2.201007061329.jarapplication/zip; charset=binary171.9 KB2010-07-06 14:420
ch.ethz.eventb.decomposition.core_1.0.2.201007061329.jarapplication/zip; charset=binary62.1 KB2010-07-06 14:420
ch.ethz.eventb.decomposition_feature_1.0.2.201007061329.jarapplication/zip; charset=binary13.6 KB2010-07-06 14:410
ch.ethz.eventb.decomposition.ui_1.0.2.201006041316.jarapplication/zip; charset=binary171.9 KB2010-06-04 16:122
ch.ethz.eventb.decomposition_feature_1.0.2.201006041316.jarapplication/zip; charset=binary13.6 KB2010-06-04 16:122
ch.ethz.eventb.decomposition_1.0.2.jarapplication/zip; charset=binary236.0 KB2010-05-28 20:412
ch.ethz.eventb.decomposition.core_1.0.2.jarapplication/zip; charset=binary54.4 KB2010-05-28 20:400
ch.ethz.eventb.decomposition.ui_1.0.2.zipapplication/zip; charset=binary1.5 MB2010-05-28 00:381
1.0.1
ch.ethz.eventb.decomposition_1.0.1.201003011152.jarapplication/zip; charset=binary277.6 KB2010-03-01 11:540
ch.ethz.eventb.decomposition_feature_1.0.1.201003011152.jarapplication/zip; charset=binary13.6 KB2010-03-01 11:530
1.0.0
ch.ethz.eventb.decomposition_1.0.0.201002162048.jarapplication/zip; charset=binary277.3 KB2010-02-16 21:541
ch.ethz.eventb.decomposition_feature_1.0.0.201002162048.jarapplication/zip; charset=binary13.5 KB2010-02-16 21:530
ch.ethz.eventb.decomposition_1.0.0.201002111547.jarapplication/zip; charset=binary277.3 KB2010-02-11 16:110
ch.ethz.eventb.decomposition_feature_1.0.0.201002111547.jarapplication/zip; charset=binary13.6 KB2010-02-11 16:100
ch.ethz.eventb.decomposition-sources_1.0.0.zipapplication/zip; charset=binary255.0 KB2010-02-11 11:025
Doc_Rodin_General
Rodin_Leaflets
Leaflet_Rodin_E.pdfapplication/pdf; charset=binary2.5 MB2013-01-25 11:072
Plugin_ UML-B
2.2.1
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.3.jarapplication/zip; charset=binary187.1 KB2012-12-18 16:500
ac.soton.umlb.feature_2.2.1.jarapplication/zip; charset=binary15.5 KB2012-12-18 16:500
2.2.0
ac.soton.umlb.umlbMetamodel.stateDiagram_2.1.1.jarapplication/zip; charset=binary614.6 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.editor_1.2.1.jarapplication/zip; charset=binary63.8 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.packageDiagram_1.2.1.jarapplication/zip; charset=binary242.0 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.contextDiagram_1.2.1.jarapplication/zip; charset=binary516.4 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.edit_1.1.1.jarapplication/zip; charset=binary138.4 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.classDiagram_2.1.1.jarapplication/zip; charset=binary935.9 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.2.jarapplication/zip; charset=binary186.4 KB2011-02-09 18:250
ac.soton.umlb.umlbMetamodel_2.1.2.jarapplication/zip; charset=binary302.4 KB2011-02-09 18:250
ac.soton.umlb.u2b_2.1.2.jarapplication/zip; charset=binary82.8 KB2011-02-09 18:250
ac.soton.umlb.ui_1.3.1.jarapplication/zip; charset=binary44.6 KB2011-02-09 18:250
ac.soton.umlb.eventB_1.2.0.jarapplication/zip; charset=binary27.5 KB2011-02-09 18:250
ac.soton.umlb.project_1.2.1.jarapplication/zip; charset=binary13.8 KB2011-02-09 18:250
ac.soton.umlb.feature_2.2.0.jarapplication/zip; charset=binary15.1 KB2011-02-09 18:253
2.1.1
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.1.jarapplication/zip; charset=binary186.4 KB2010-11-23 18:240
ac.soton.umlb.umlbMetamodel_2.1.1.jarapplication/zip; charset=binary302.4 KB2010-11-23 18:240
ac.soton.umlb.u2b_2.1.1.jarapplication/zip; charset=binary82.8 KB2010-11-23 18:230
ac.soton.umlb.feature_2.1.1.jarapplication/zip; charset=binary15.0 KB2010-11-23 18:230
2.1.0
ac.soton.umlb.umlbMetamodel.packageDiagram_1.2.0.jarapplication/zip; charset=binary242.1 KB2010-11-19 19:420
ac.soton.umlb.umlbMetamodel.stateDiagram_2.1.0.jarapplication/zip; charset=binary614.7 KB2010-11-19 19:421
ac.soton.umlb.umlbMetamodel.editor_1.2.0.jarapplication/zip; charset=binary63.8 KB2010-11-19 19:410
ac.soton.umlb.umlbMetamodel.contextDiagram_1.2.0.jarapplication/zip; charset=binary516.4 KB2010-11-19 19:410
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.0.jarapplication/zip; charset=binary186.4 KB2010-11-19 19:400
ac.soton.umlb.umlbMetamodel.classDiagram_2.1.0.jarapplication/zip; charset=binary935.9 KB2010-11-19 19:400
ac.soton.umlb.umlbMetamodel_2.1.0.jarapplication/zip; charset=binary302.4 KB2010-11-19 19:390
ac.soton.umlb.ui_1.3.0.jarapplication/zip; charset=binary44.8 KB2010-11-19 19:390
ac.soton.umlb.u2b_2.1.0.jarapplication/zip; charset=binary82.7 KB2010-11-19 19:390
ac.soton.umlb.eventB_1.1.2.jarapplication/zip; charset=binary27.4 KB2010-11-19 19:380
ac.soton.umlb.feature_2.1.0.jarapplication/zip; charset=binary14.9 KB2010-11-19 19:370
2.0.1
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.0.1.jarapplication/zip; charset=binary185.5 KB2010-10-17 21:231
ac.soton.umlb.umlbMetamodel_2.0.1.jarapplication/zip; charset=binary303.4 KB2010-10-17 20:240
ac.soton.umlb.eventB_1.1.1.jarapplication/zip; charset=binary27.4 KB2010-10-17 20:230
ac.soton.umlb.u2b_2.0.1.jarapplication/zip; charset=binary82.2 KB2010-10-17 20:230
ac.soton.umlb.feature_2.0.1.jarapplication/zip; charset=binary14.5 KB2010-10-17 20:230
2.0.0
ac.soton.umlb.umlbMetamodel.stateDiagram_2.0.0.jarapplication/zip; charset=binary613.9 KB2010-10-15 19:290
ac.soton.umlb.umlbMetamodel.packageDiagram_1.1.0.jarapplication/zip; charset=binary236.2 KB2010-10-15 19:290
ac.soton.umlb.umlbMetamodel.editor_1.1.0.jarapplication/zip; charset=binary63.3 KB2010-10-15 19:280
ac.soton.umlb.umlbMetamodel.edit_1.1.0.jarapplication/zip; charset=binary138.4 KB2010-10-15 19:280
ac.soton.umlb.umlbMetamodel.contextDiagram_1.1.0.jarapplication/zip; charset=binary511.6 KB2010-10-15 19:280
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.0.0.jarapplication/zip; charset=binary185.9 KB2010-10-15 19:270
ac.soton.umlb.umlbMetamodel.classDiagram_2.0.0.jarapplication/zip; charset=binary934.1 KB2010-10-15 00:080
ac.soton.umlb.umlbMetamodel_2.0.0.jarapplication/zip; charset=binary303.4 KB2010-10-15 00:080
ac.soton.umlb.ui_1.2.0.jarapplication/zip; charset=binary44.7 KB2010-10-15 00:070
ac.soton.umlb.u2b_2.0.0.jarapplication/zip; charset=binary82.2 KB2010-10-15 00:070
ac.soton.umlb.project_1.2.0.jarapplication/zip; charset=binary13.9 KB2010-10-15 00:070
ac.soton.umlb.eventB_1.1.0.jarapplication/zip; charset=binary27.4 KB2010-10-15 00:060
ac.soton.umlb.feature_2.0.0.jarapplication/zip; charset=binary14.5 KB2010-10-15 00:060
1.1.0
ac.soton.umlb.umlbMetamodel.stateDiagram_1.1.0.jarapplication/zip; charset=binary576.2 KB2010-06-08 00:391
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_1.1.0.jarapplication/zip; charset=binary176.4 KB2010-06-08 00:390
ac.soton.umlb.umlbMetamodel.classDiagram_1.1.0.jarapplication/zip; charset=binary923.3 KB2010-06-08 00:390
ac.soton.umlb.umlbMetamodel_1.1.0.jarapplication/zip; charset=binary295.5 KB2010-06-08 00:380
ac.soton.umlb.ui_1.1.0.jarapplication/zip; charset=binary43.6 KB2010-06-08 00:380
ac.soton.umlb.u2b_1.1.0.jarapplication/zip; charset=binary74.1 KB2010-06-08 00:370
ac.soton.umlb.project_1.1.0.jarapplication/zip; charset=binary13.3 KB2010-06-08 00:370
ac.soton.umlb.feature_1.1.0.jarapplication/zip; charset=binary14.4 KB2010-06-08 00:360
1.0.2
ac.soton.umlb.ui_1.0.2.jarapplication/zip; charset=binary42.0 KB2010-03-29 17:550
ac.soton.umlb.feature_1.0.2.jarapplication/zip; charset=binary14.0 KB2010-03-29 17:550
1.0.1
ac.soton.umlb.umlbMetamodel.stateDiagram_1.0.1.jarapplication/zip; charset=binary571.4 KB2010-03-28 18:130
ac.soton.umlb.umlbMetamodel.packageDiagram_1.0.1.jarapplication/zip; charset=binary238.7 KB2010-03-28 18:120
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_1.0.1.jarapplication/zip; charset=binary173.3 KB2010-03-28 18:120
ac.soton.umlb.ui_1.0.1.jarapplication/zip; charset=binary42.0 KB2010-03-28 18:120
ac.soton.umlb.feature_1.0.1.jarapplication/zip; charset=binary13.9 KB2010-03-28 18:110
1.0.0
ac.soton.umlb.feature_1.0.0.201002081853.jarapplication/zip; charset=binary13.9 KB2010-02-08 19:552
ac.soton.umlb.umlbMetamodel.stateDiagram_1.0.0.jarapplication/zip; charset=binary571.3 KB2010-02-08 19:250
ac.soton.umlb.umlbMetamodel.packageDiagram_1.0.0.jarapplication/zip; charset=binary238.5 KB2010-02-08 19:240
ac.soton.umlb.umlbMetamodel.editor_1.0.0.jarapplication/zip; charset=binary62.1 KB2010-02-08 19:240
ac.soton.umlb.umlbMetamodel.edit_1.0.0.jarapplication/zip; charset=binary133.6 KB2010-02-08 19:240
ac.soton.umlb.umlbMetamodel.contextDiagram_1.0.0.jarapplication/zip; charset=binary504.9 KB2010-02-08 19:240
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_1.0.0.jarapplication/zip; charset=binary173.3 KB2010-02-08 19:230
ac.soton.umlb.umlbMetamodel.classDiagram_1.0.0.jarapplication/zip; charset=binary919.7 KB2010-02-08 19:230
ac.soton.umlb.umlbMetamodel_1.0.0.jarapplication/zip; charset=binary295.3 KB2010-02-08 19:230
ac.soton.umlb.ui_1.0.0.jarapplication/zip; charset=binary41.8 KB2010-02-08 19:220
ac.soton.umlb.u2b_1.0.0.jarapplication/zip; charset=binary74.2 KB2010-02-08 19:220
ac.soton.umlb.project_1.0.0.jarapplication/zip; charset=binary13.2 KB2010-02-08 19:220
ac.soton.umlb.eventB_1.0.0.jarapplication/zip; charset=binary26.3 KB2010-02-08 19:210
ac.soton.umlb_1.0.0.jarapplication/zip; charset=binary34.8 KB2010-02-08 19:211
0.6.1
ac.soton.umlb_0.6.1.200912151452.jarapplication/zip; charset=binary14.4 KB2009-12-15 15:560
UMLBReleaseNotes_0.6.1.rtftext/rtf0.7 KB2009-12-15 15:341
ac.soton.umlb.u2b_0.6.1.jarapplication/zip; charset=binary73.5 KB2009-12-15 15:270
ac.soton.umlb.umlbMetamodel_0.6.1.jarapplication/zip; charset=binary292.3 KB2009-12-15 15:260
ac.soton.umlb.umlbMetamodel.classDiagram_0.6.1.jarapplication/zip; charset=binary909.8 KB2009-12-15 15:260
ac.soton.umlb.umlbMetamodel.contextDiagram_0.6.1.jarapplication/zip; charset=binary499.4 KB2009-12-15 15:260
ac.soton.umlb.umlbMetamodel.stateDiagram_0.6.1.jarapplication/zip; charset=binary565.0 KB2009-12-15 15:250
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.6.1.jarapplication/zip; charset=binary170.7 KB2009-12-15 15:230
0.6.0
ac.soton.umlb.eventB_0.6.0.jarapplication/zip; charset=binary26.0 KB2009-10-18 13:480
ac.soton.umlb.project_0.6.0.jarapplication/zip; charset=binary19.0 KB2009-10-18 13:482
ac.soton.umlb.u2b_0.6.0.jarapplication/zip; charset=binary73.5 KB2009-10-18 13:473
ac.soton.umlb.ui_0.6.0.jarapplication/zip; charset=binary40.6 KB2009-10-18 13:470
ac.soton.umlb.umlbMetamodel_0.6.0.jarapplication/zip; charset=binary292.3 KB2009-10-18 13:470
ac.soton.umlb.umlbMetamodel.classDiagram_0.6.0.jarapplication/zip; charset=binary907.8 KB2009-10-18 13:460
ac.soton.umlb.umlbMetamodel.contextDiagram_0.6.0.jarapplication/zip; charset=binary498.3 KB2009-10-18 13:461
ac.soton.umlb_0.5.11.jarapplication/zip; charset=binary34.7 KB2009-10-18 13:450
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.6.0.jarapplication/zip; charset=binary169.5 KB2009-10-18 13:440
ac.soton.umlb.umlbMetamodel.edit_0.6.0.jarapplication/zip; charset=binary131.7 KB2009-10-18 13:440
ac.soton.umlb.umlbMetamodel.editor_0.6.0.jarapplication/zip; charset=binary61.3 KB2009-10-18 13:440
ac.soton.umlb.umlbMetamodel.packageDiagram_0.6.0.jarapplication/zip; charset=binary235.9 KB2009-10-18 13:430
ac.soton.umlb.umlbMetamodel.stateDiagram_0.6.0.jarapplication/zip; charset=binary562.1 KB2009-10-18 13:430
ac.soton.umlb_0.6.0.200910181232.jarapplication/zip; charset=binary14.3 KB2009-10-18 13:410
0.5.11
uml_b_0_5_11_source.zipapplication/x-zip4.9 MB2009-07-31 15:370
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.11.jarapplication/zip; charset=binary559.9 KB2009-07-31 15:352
ac.soton.umlb.eventB_0.5.11.jarapplication/zip; charset=binary26.0 KB2009-07-31 15:304
ac.soton.umlb.project_0.5.11.jarapplication/zip; charset=binary19.0 KB2009-07-31 15:303
ac.soton.umlb.u2b_0.5.11.jarapplication/zip; charset=binary73.3 KB2009-07-31 15:300
ac.soton.umlb.ui_0.5.11.jarapplication/zip; charset=binary40.6 KB2009-07-31 15:300
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.11.jarapplication/zip; charset=binary904.1 KB2009-07-31 15:230
ac.soton.umlb.umlbMetamodel_0.5.11.jarapplication/zip; charset=binary291.7 KB2009-07-31 15:230
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.11.jarapplication/zip; charset=binary496.3 KB2009-07-31 15:230
ac.soton.umlb.umlbMetamodel.edit_0.5.11.jarapplication/zip; charset=binary133.8 KB2009-07-31 15:230
ac.soton.umlb.umlbMetamodel.editor_0.5.11.jarapplication/zip; charset=binary60.8 KB2009-07-31 15:230
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.11.jarapplication/zip; charset=binary237.5 KB2009-07-31 15:220
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.11.jarapplication/zip; charset=binary162.5 KB2009-07-31 15:220
ac.soton.umlb_0.5.11.jarapplication/zip; charset=binary34.7 KB2009-07-31 15:150
ac.soton.umlb_0.5.11.200907311354.jarapplication/zip; charset=binary14.1 KB2009-07-31 15:130
0.5.10
uml_b_0_5_10_source.zipapplication/x-zip4.9 MB2009-07-30 17:100
ac.soton.umlb.eventB_0.5.9.jarapplication/zip; charset=binary26.0 KB2009-07-30 17:080
ac.soton.umlb.project_0.5.9.jarapplication/zip; charset=binary19.0 KB2009-07-30 17:082
ac.soton.umlb.u2b_0.5.10.jarapplication/zip; charset=binary73.3 KB2009-07-30 17:070
ac.soton.umlb.ui_0.5.9.jarapplication/zip; charset=binary40.6 KB2009-07-30 17:070
ac.soton.umlb.umlbMetamodel_0.5.9.jarapplication/zip; charset=binary291.7 KB2009-07-30 17:062
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.9.jarapplication/zip; charset=binary162.3 KB2009-07-30 17:040
ac.soton.umlb_0.5.10.200907301517.jarapplication/zip; charset=binary14.1 KB2009-07-30 17:020
0.5.8
UML-B_V0_5_8_Sources.zipapplication/x-zip2.0 MB2009-03-04 19:311
ac.soton.umlb.ui_0.5.8.jarapplication/zip; charset=binary27.1 KB2009-03-02 11:450
ac.soton.umlb_0.5.8.200903021038.jarapplication/zip; charset=binary14.1 KB2009-03-02 11:450
ac.soton.umlb.eventB_0.5.2.jarapplication/zip; charset=binary24.9 KB2009-03-02 10:220
ac.soton.umlb.project_0.5.2.jarapplication/zip; charset=binary21.3 KB2009-03-02 10:220
ac.soton.umlb.u2b_0.5.6.jarapplication/zip; charset=binary73.4 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.4.jarapplication/zip; charset=binary904.0 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.7.jarapplication/zip; charset=binary155.8 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.2.jarapplication/zip; charset=binary496.3 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.edit_0.5.1.jarapplication/zip; charset=binary133.8 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.editor_0.5.3.jarapplication/zip; charset=binary60.8 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.7.jarapplication/zip; charset=binary237.5 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.4.jarapplication/zip; charset=binary559.9 KB2009-03-02 10:220
ac.soton.umlb.umlbMetamodel_0.5.4.jarapplication/zip; charset=binary291.0 KB2009-03-02 10:220
0.4.4
UMLB_0.4.4_sourcesapplication/x-zip4.6 MB2008-06-04 09:460
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.4.jarapplication/zip; charset=binary142.7 KB2008-06-04 09:460
ac.soton.umlb_0.4.4.200806032333.jarapplication/zip; charset=binary14.0 KB2008-06-04 09:460
0.4.3
ac.soton.umlb.doc.user_0.4.3.jarapplication/zip; charset=binary440.3 KB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.3.jarapplication/zip; charset=binary321.9 KB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel_0.4.3.jarapplication/zip; charset=binary267.7 KB2008-05-17 12:380
ac.soton.umlb.eventB_0.4.3.jarapplication/zip; charset=binary22.2 KB2008-05-17 12:380
ac.soton.umlb.project_0.4.3.jarapplication/zip; charset=binary20.5 KB2008-05-17 12:380
ac.soton.umlb.u2b_0.4.3.jarapplication/zip; charset=binary64.8 KB2008-05-17 12:380
ac.soton.umlb.ui_0.4.3.jarapplication/zip; charset=binary21.1 KB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.3.jarapplication/zip; charset=binary766.3 KB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.3.jarapplication/zip; charset=binary142.8 KB2008-05-17 12:380
UMLB_0.4.3_sourcesapplication/x-zip4.5 MB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.3.jarapplication/zip; charset=binary496.3 KB2008-05-17 12:380
ac.soton.umlb.umlbMetamodel.packageDiagram_0.4.3.jarapplication/zip; charset=binary238.7 KB2008-05-17 12:380
ac.soton.umlb_0.4.3.200805170936.jarapplication/zip; charset=binary14.0 KB2008-05-17 12:380
0.4.2
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.2.jarapplication/zip; charset=binary140.7 KB2008-03-27 03:301
umlb_0_4_2_sources.zipapplication/x-zip4.6 MB2008-03-27 02:440
ac.soton.umlb_0.4.2.200803262346.jarapplication/zip; charset=binary14.0 KB2008-03-27 02:440
0.4.1
umlb_0_4_1_sources.zipapplication/x-zip4.6 MB2008-03-26 12:580
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.1.jarapplication/zip; charset=binary140.6 KB2008-03-26 12:580
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.1.jarapplication/zip; charset=binary329.6 KB2008-03-26 12:580
ac.soton.umlb_0.4.1.200803240951.jarapplication/zip; charset=binary14.0 KB2008-03-26 12:580
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.1.jarapplication/zip; charset=binary771.5 KB2008-03-26 12:580
ac.soton.umlb.ui_0.4.1.jarapplication/zip; charset=binary20.6 KB2008-03-26 12:580
ac.soton.umlb.project_0.4.1.jarapplication/zip; charset=binary26.2 KB2008-03-26 12:580
ac.soton.umlb.eventB_0.4.1.jarapplication/zip; charset=binary22.3 KB2008-03-26 12:580
0.4.0
umlb_0_4_0_sources.zipapplication/x-zip4.6 MB2008-02-22 23:580
ac.soton.umlb_0.4.0.200802222236.jarapplication/zip; charset=binary14.0 KB2008-02-22 23:550
ac.soton.umlb_0.3.6.jarapplication/zip; charset=binary34.7 KB2008-02-22 23:550
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.0.jarapplication/zip; charset=binary499.6 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.edit_0.4.0.jarapplication/zip; charset=binary129.7 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.editor_0.3.5.jarapplication/zip; charset=binary60.4 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.5.jarapplication/zip; charset=binary247.3 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.0.jarapplication/zip; charset=binary329.6 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel_0.3.7.jarapplication/zip; charset=binary267.6 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.classDiagram_0.3.7.jarapplication/zip; charset=binary771.5 KB2008-02-22 20:360
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.0.jarapplication/zip; charset=binary140.6 KB2008-02-22 20:360
ac.soton.umlb.u2b_0.3.7.jarapplication/zip; charset=binary64.3 KB2008-02-22 20:360
ac.soton.umlb.eventB_0.3.7.jarapplication/zip; charset=binary25.9 KB2008-02-22 20:360
ac.soton.umlb.project_0.3.4.jarapplication/zip; charset=binary28.8 KB2008-02-22 20:360
Core_Update_Site
plugins
org.eventb.ui_2.5.0.r15250.jarapplication/zip; charset=binary1.3 MB2012-11-06 11:530
org.mortbay.jetty.server_6.1.23.v201012071420.jarapplication/zip; charset=binary544.8 KB2012-11-06 11:532
org.mortbay.jetty.util_6.1.23.v201012071420.jarapplication/zip; charset=binary188.8 KB2012-11-06 11:533
org.rodinp.core.emf_0.6.1.r15250.jarapplication/zip; charset=binary84.4 KB2012-11-06 11:530
org.rodinp.core_1.6.0.r15250.jarapplication/zip; charset=binary402.3 KB2012-11-06 11:530
org.rodinp.keyboard_1.1.2.r15250.jarapplication/zip; charset=binary293.5 KB2012-11-06 11:530
org.rodinp.platform_2.7.0.r15250.jarapplication/zip; charset=binary175.4 KB2012-11-06 11:530
org.rodinp_1.6.0.r15250.jarapplication/zip; charset=binary2.4 KB2012-11-06 11:530
org.sat4j.core_2.3.0.v20110329.jarapplication/zip; charset=binary205.8 KB2012-11-06 11:530
org.sat4j.pb_2.3.0.v20110329.jarapplication/zip; charset=binary137.4 KB2012-11-06 11:530
org.eventb.pp_0.7.0.r15250.jarapplication/zip; charset=binary254.9 KB2012-11-06 11:530
org.eventb.pptrans_0.7.0.r15250.jarapplication/zip; charset=binary53.5 KB2012-11-06 11:530
org.eventb.ui.symboltable_1.2.0.r15250.jarapplication/zip; charset=binary22.0 KB2012-11-06 11:530
org.eclipse.update.core_3.2.500.v20110330.jarapplication/zip; charset=binary581.9 KB2012-11-06 11:531
org.eclipse.update.scheduler_3.2.300.v20100512.jarapplication/zip; charset=binary31.1 KB2012-11-06 11:530
org.eclipse.update.ui_3.2.300.v20100512.jarapplication/zip; charset=binary495.3 KB2012-11-06 11:530
org.eventb.core.ast_2.7.0.r15250.jarapplication/zip; charset=binary499.1 KB2012-11-06 11:533
org.eventb.core.seqprover_2.6.0.r15250.jarapplication/zip; charset=binary856.3 KB2012-11-06 11:530
org.eventb.core_2.5.1.r15250.jarapplication/zip; charset=binary646.8 KB2012-11-06 11:530
org.eventb.ide_2.7.0.r15250.jarapplication/zip; charset=binary7.1 KB2012-11-06 11:530
org.eventb.keyboard_1.0.0.r15250.jarapplication/zip; charset=binary2.8 KB2012-11-06 11:530
org.eventb.pp.ui_0.2.1.r15250.jarapplication/zip; charset=binary9.1 KB2012-11-06 11:530
org.eclipse.ui.workbench.compatibility_3.2.100.I20110413-1600.jarapplication/zip; charset=binary13.6 KB2012-11-06 11:537
org.eclipse.ui.workbench.texteditor_3.7.0.v20110928-1504.jarapplication/zip; charset=binary568.3 KB2012-11-06 11:530
org.eclipse.ui.workbench_3.7.1.v20120104-1859.jarapplication/zip; charset=binary4.1 MB2012-11-06 11:532
org.eclipse.ui_3.7.0.v20110928-1505.jarapplication/zip; charset=binary149.6 KB2012-11-06 11:530
org.eclipse.update.configurator_3.3.100.v20100512.jarapplication/zip; charset=binary97.6 KB2012-11-06 11:530
org.eclipse.update.core.linux_3.2.200.v20100512.jarapplication/zip; charset=binary8.1 KB2012-11-06 11:530
org.eclipse.update.core.win32_3.2.200.v20100512.jarapplication/zip; charset=binary84.3 KB2012-11-06 11:532
org.eclipse.ui.intro.universal_3.2.500.v20110510.jarapplication/zip; charset=binary1.6 MB2012-11-06 11:530
org.eclipse.ui.intro_3.4.100.v20110425.jarapplication/zip; charset=binary301.3 KB2012-11-06 11:530
org.eclipse.ui.navigator.resources_3.4.300.v20110928-1505.jarapplication/zip; charset=binary116.3 KB2012-11-06 11:531
org.eclipse.ui.navigator_3.5.101.v20120106-1355.jarapplication/zip; charset=binary395.4 KB2012-11-06 11:532
org.eclipse.ui.net_1.2.100.v20111208-1155.jarapplication/zip; charset=binary46.6 KB2012-11-06 11:530
org.eclipse.ui.presentations.r21_3.2.200.I20100517-1500.jarapplication/zip; charset=binary97.0 KB2012-11-06 11:530
org.eclipse.ui.views.log_1.0.200.v20110404.jarapplication/zip; charset=binary135.3 KB2012-11-06 11:530
org.eclipse.ui.views.properties.tabbed_3.5.200.v20110928-1505.jarapplication/zip; charset=binary101.8 KB2012-11-06 11:531
org.eclipse.ui.views_3.6.0.v20110928-1505.jarapplication/zip; charset=binary88.0 KB2012-11-06 11:531
org.eclipse.ui.win32_3.2.200.v20110928-1505.jarapplication/zip; charset=binary24.1 KB2012-11-06 11:532
org.eclipse.swt.win32.win32.x86_3.7.2.v3740f.jarapplication/zip; charset=binary2.6 MB2012-11-06 11:533
org.eclipse.swt.win32.win32.x86_64_3.7.2.v3740f.jarapplication/zip; charset=binary2.5 MB2012-11-06 11:539
org.eclipse.swt_3.7.2.v3740f.jarapplication/zip; charset=binary16.9 KB2012-11-06 11:533
org.eclipse.team.core_3.6.0.I20110525-0800.jarapplication/zip; charset=binary384.6 KB2012-11-06 11:530
org.eclipse.team.ui_3.6.101.R37x_v20111109-0800.jarapplication/zip; charset=binary1.4 MB2012-11-06 11:534
org.eclipse.text_3.5.101.v20110928-1504.jarapplication/zip; charset=binary242.4 KB2012-11-06 11:530
org.eclipse.ui.browser_3.3.101.v20111019-1723.jarapplication/zip; charset=binary184.2 KB2012-11-06 11:531
org.eclipse.ui.cheatsheets_3.4.100.v20110425.jarapplication/zip; charset=binary321.3 KB2012-11-06 11:530
org.eclipse.ui.cocoa_1.1.0.I20101109-0800.jarapplication/zip; charset=binary26.5 KB2012-11-06 11:530
org.eclipse.ui.console_3.5.100.v20111007_r372.jarapplication/zip; charset=binary156.2 KB2012-11-06 11:530
org.eclipse.ui.editors_3.7.0.v20110928-1504.jarapplication/zip; charset=binary562.2 KB2012-11-06 11:530
org.eclipse.ui.externaltools_3.2.0.v20111007_r372.jarapplication/zip; charset=binary132.3 KB2012-11-06 11:531
org.eclipse.ui.forms_3.5.101.v20111011-1919.jarapplication/zip; charset=binary293.9 KB2012-11-06 11:530
org.eclipse.ui.ide.application_1.0.300.I20110306-2000.jarapplication/zip; charset=binary63.6 KB2012-11-06 11:530
org.eclipse.ui.ide_3.7.0.v20110928-1505.jarapplication/zip; charset=binary2.3 MB2012-11-06 11:532
org.eclipse.ltk.ui.refactoring_3.6.0.v20110928-1453.jarapplication/zip; charset=binary443.8 KB2012-11-06 11:531
org.eclipse.osgi.services_3.3.0.v20110513.jarapplication/zip; charset=binary69.5 KB2012-11-06 11:530
org.eclipse.osgi.util_3.2.200.v20110110.jarapplication/zip; charset=binary23.2 KB2012-11-06 11:530
org.eclipse.osgi_3.7.2.v20120110-1415.jarapplication/zip; charset=binary1.3 MB2012-11-06 11:531
org.eclipse.platform.doc.user_3.7.1.r372_v20111202.jarapplication/zip; charset=binary7.0 MB2012-11-06 11:531
org.eclipse.platform_3.7.2.v201202080800.jarapplication/zip; charset=binary330.3 KB2012-11-06 11:533
org.eclipse.rcp_3.7.2.v201202080800.jarapplication/zip; charset=binary13.8 KB2012-11-06 11:530
org.eclipse.search_3.7.0.v20110928-1504.jarapplication/zip; charset=binary457.7 KB2012-11-06 11:530
org.eclipse.swt.cocoa.macosx.x86_64_3.7.2.v3740f.jarapplication/zip; charset=binary2.1 MB2012-11-06 11:533
org.eclipse.swt.gtk.linux.x86_3.7.2.v3740f.jarapplication/zip; charset=binary2.3 MB2012-11-06 11:531
org.eclipse.swt.gtk.linux.x86_64_3.7.2.v3740f.jarapplication/zip; charset=binary2.4 MB2012-11-06 11:534
org.eclipse.equinox.p2.touchpoint.natives_1.0.300.v20110815-1419.jarapplication/zip; charset=binary49.0 KB2012-11-06 11:530
org.eclipse.equinox.p2.transport.ecf_1.0.0.v20111128-0624.jarapplication/zip; charset=binary37.9 KB2012-11-06 11:530
org.eclipse.equinox.p2.ui.importexport_1.0.1.R37x_v20111103.jarapplication/zip; charset=binary113.6 KB2012-11-06 11:530
org.eclipse.equinox.p2.ui.sdk.scheduler_1.0.100.v20110815-1419.jarapplication/zip; charset=binary57.5 KB2012-11-06 11:530
org.eclipse.equinox.p2.ui.sdk_1.0.200.v20110815-1419.jarapplication/zip; charset=binary40.4 KB2012-11-06 11:530
org.eclipse.equinox.p2.ui_2.1.1.v20120113-1346.jarapplication/zip; charset=binary502.6 KB2012-11-06 11:530
org.eclipse.equinox.p2.updatechecker_1.1.200.v20110815-1419.jarapplication/zip; charset=binary16.4 KB2012-11-06 11:530
org.eclipse.equinox.p2.updatesite_1.0.300.v20110815-1419.jarapplication/zip; charset=binary80.6 KB2012-11-06 11:530
org.eclipse.equinox.preferences_3.4.2.v20120111-2020.jarapplication/zip; charset=binary111.1 KB2012-11-06 11:530
org.eclipse.equinox.registry_3.5.101.R37x_v20110810-1611.jarapplication/zip; charset=binary178.7 KB2012-11-06 11:530
org.eclipse.equinox.security.macosx_1.100.100.v20100503.jarapplication/zip; charset=binary15.4 KB2012-11-06 11:530
org.eclipse.equinox.security.ui_1.1.0.v20101004.jarapplication/zip; charset=binary209.2 KB2012-11-06 11:530
org.eclipse.equinox.security.win32.x86_1.0.200.v20100503.jarapplication/zip; charset=binary21.5 KB2012-11-06 11:530
org.eclipse.equinox.security.win32.x86_64_1.0.0.v20110502.jarapplication/zip; charset=binary33.5 KB2012-11-06 11:530
org.eclipse.equinox.security_1.1.1.R37x_v20110822-1018.jarapplication/zip; charset=binary103.6 KB2012-11-06 11:530
org.eclipse.equinox.simpleconfigurator.manipulator_2.0.0.v20110815-1438.jarapplication/zip; charset=binary22.3 KB2012-11-06 11:530
org.eclipse.equinox.simpleconfigurator_1.0.200.v20110815-1438.jarapplication/zip; charset=binary38.6 KB2012-11-06 11:531
org.eclipse.equinox.util_1.0.300.v20110502.jarapplication/zip; charset=binary75.0 KB2012-11-06 11:530
org.eclipse.help.appserver_3.1.400.v20110425.jarapplication/zip; charset=binary17.9 KB2012-11-06 11:530
org.eclipse.help.base_3.6.2.v201202080800.jarapplication/zip; charset=binary404.5 KB2012-11-06 11:530
org.eclipse.help.ui_3.5.101.r37_20110819.jarapplication/zip; charset=binary497.6 KB2012-11-06 11:530
org.eclipse.help.webapp_3.6.1.r37_20110929.jarapplication/zip; charset=binary573.1 KB2012-11-06 11:530
org.eclipse.help_3.5.100.v20110426.jarapplication/zip; charset=binary251.4 KB2012-11-06 11:530
org.eclipse.jface.databinding_1.5.0.I20100907-0800.jarapplication/zip; charset=binary269.0 KB2012-11-06 11:530
org.eclipse.jface.text_3.7.2.v20111213-1208.jarapplication/zip; charset=binary958.5 KB2012-11-06 11:532
org.eclipse.jface_3.7.0.v20110928-1505.jarapplication/zip; charset=binary1.1 MB2012-11-06 11:530
org.eclipse.jsch.core_1.1.300.I20110514-0800.jarapplication/zip; charset=binary35.5 KB2012-11-06 11:530
org.eclipse.jsch.ui_1.1.300.R37x_v20111201-1600.jarapplication/zip; charset=binary86.8 KB2012-11-06 11:530
org.eclipse.ltk.core.refactoring_3.5.201.r372_v20111101-0700.jarapplication/zip; charset=binary315.0 KB2012-11-06 11:530
org.eclipse.equinox.http.servlet_1.1.200.v20110502.jarapplication/zip; charset=binary41.6 KB2012-11-06 11:530
org.eclipse.equinox.jsp.jasper.registry_1.0.200.v20100503.jarapplication/zip; charset=binary10.9 KB2012-11-06 11:530
org.eclipse.equinox.jsp.jasper_1.0.300.v20110502.jarapplication/zip; charset=binary24.9 KB2012-11-06 11:530
org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.101.v20120109-1504.jarapplication/zip; charset=binary28.7 KB2012-11-06 11:5310
org.eclipse.equinox.launcher.gtk.linux.x86_1.1.100.v20110505.jarapplication/zip; charset=binary71.9 KB2012-11-06 11:530
org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.100.v20110505.jarapplication/zip; charset=binary76.2 KB2012-11-06 11:530
org.eclipse.equinox.launcher.win32.win32.x86_1.1.100.v20110502.jarapplication/zip; charset=binary25.5 KB2012-11-06 11:530
org.eclipse.equinox.launcher.win32.win32.x86_64_1.1.100.v20110502.jarapplication/zip; charset=binary27.5 KB2012-11-06 11:530
org.eclipse.equinox.launcher_1.2.0.v20110502.jarapplication/zip; charset=binary46.2 KB2012-11-06 11:530
org.eclipse.equinox.p2.artifact.repository_1.1.101.v20110815-1419.jarapplication/zip; charset=binary130.6 KB2012-11-06 11:530
org.eclipse.equinox.p2.console_1.0.300.v20110815-1419.jarapplication/zip; charset=binary26.3 KB2012-11-06 11:531
org.eclipse.equinox.p2.core_2.1.1.v20120113-1346.jarapplication/zip; charset=binary69.9 KB2012-11-06 11:530
org.eclipse.equinox.p2.director.app_1.0.300.v20111126-0153.jarapplication/zip; charset=binary46.2 KB2012-11-06 11:531
org.eclipse.equinox.p2.director_2.1.1.v20111126-0211.jarapplication/zip; charset=binary92.9 KB2012-11-06 11:530
org.eclipse.equinox.p2.directorywatcher_1.0.300.v20110815-1419.jarapplication/zip; charset=binary31.8 KB2012-11-06 11:530
org.eclipse.equinox.p2.engine_2.1.1.R37x_v20111003.jarapplication/zip; charset=binary180.6 KB2012-11-06 11:530
org.eclipse.equinox.p2.extensionlocation_1.2.100.v20110815-1419.jarapplication/zip; charset=binary33.8 KB2012-11-06 11:530
org.eclipse.equinox.p2.garbagecollector_1.0.200.v20110815-1419.jarapplication/zip; charset=binary24.4 KB2012-11-06 11:530
org.eclipse.equinox.p2.jarprocessor_1.0.200.v20110815-1438.jarapplication/zip; charset=binary65.4 KB2012-11-06 11:530
org.eclipse.equinox.p2.metadata.repository_1.2.0.v20110815-1419.jarapplication/zip; charset=binary113.0 KB2012-11-06 11:530
org.eclipse.equinox.p2.metadata_2.1.0.v20110815-1419.jarapplication/zip; charset=binary331.2 KB2012-11-06 11:530
org.eclipse.equinox.p2.operations_2.1.1.R37x_v20111111.jarapplication/zip; charset=binary54.2 KB2012-11-06 11:530
org.eclipse.equinox.p2.publisher.eclipse_1.0.0.v20110815-1438.jarapplication/zip; charset=binary193.6 KB2012-11-06 11:530
org.eclipse.equinox.p2.publisher_1.2.0.v20110815-1419.jarapplication/zip; charset=binary99.7 KB2012-11-06 11:530
org.eclipse.equinox.p2.ql_2.0.100.v20110815-1419.jarapplication/zip; charset=binary7.9 KB2012-11-06 11:530
org.eclipse.equinox.p2.reconciler.dropins_1.1.100.v20110815-1419.jarapplication/zip; charset=binary46.3 KB2012-11-06 11:530
org.eclipse.equinox.p2.repository.tools_2.0.100.v20110815-1438.jarapplication/zip; charset=binary227.2 KB2012-11-06 11:530
org.eclipse.equinox.p2.repository_2.1.1.v20120113-1346.jarapplication/zip; charset=binary124.9 KB2012-11-06 11:530
org.eclipse.equinox.p2.touchpoint.eclipse_2.1.1.v20110815-1419.jarapplication/zip; charset=binary120.4 KB2012-11-06 11:530
org.eclipse.debug.ui_3.7.102.v20111129-1423_r372.jarapplication/zip; charset=binary2.5 MB2012-11-06 11:532
org.eclipse.ecf.filetransfer_5.0.0.v20110531-2218.jarapplication/zip; charset=binary49.3 KB2012-11-06 11:530
org.eclipse.ecf.identity_3.1.100.v20110531-2218.jarapplication/zip; charset=binary50.2 KB2012-11-06 11:530
org.eclipse.ecf.provider.filetransfer.httpclient.ssl_1.0.0.v20110531-2218.jarapplication/zip; charset=binary16.3 KB2012-11-06 11:530
org.eclipse.ecf.provider.filetransfer.httpclient_4.0.0.v20110531-2218.jarapplication/zip; charset=binary66.8 KB2012-11-06 11:530
org.eclipse.ecf.provider.filetransfer.ssl_1.0.0.v20110531-2218.jarapplication/zip; charset=binary8.3 KB2012-11-06 11:530
org.eclipse.ecf.provider.filetransfer_3.2.0.v20110531-2218.jarapplication/zip; charset=binary123.9 KB2012-11-06 11:531
org.eclipse.ecf.ssl_1.0.100.v20110531-2218.jarapplication/zip; charset=binary11.3 KB2012-11-06 11:530
org.eclipse.ecf_3.1.300.v20110531-2218.jarapplication/zip; charset=binary91.1 KB2012-11-06 11:530
org.eclipse.emf.common_2.7.0.v20120127-1122.jarapplication/zip; charset=binary208.4 KB2012-11-06 11:533
org.eclipse.emf.ecore.change_2.7.1.v20120127-1122.jarapplication/zip; charset=binary80.1 KB2012-11-06 11:532
org.eclipse.emf.ecore_2.7.0.v20120127-1122.jarapplication/zip; charset=binary1.1 MB2012-11-06 11:533
org.eclipse.emf.edit_2.7.2.v20120130-0943.jarapplication/zip; charset=binary257.2 KB2012-11-06 11:530
org.eclipse.equinox.app_1.3.100.v20110321.jarapplication/zip; charset=binary83.2 KB2012-11-06 11:530
org.eclipse.equinox.common_3.6.0.v20110523.jarapplication/zip; charset=binary103.1 KB2012-11-06 11:530
org.eclipse.equinox.concurrent_1.0.200.v20110502.jarapplication/zip; charset=binary19.4 KB2012-11-06 11:530
org.eclipse.equinox.ds_1.3.1.R37x_v20110701.jarapplication/zip; charset=binary184.9 KB2012-11-06 11:530
org.eclipse.equinox.event_1.2.100.v20110502.jarapplication/zip; charset=binary31.8 KB2012-11-06 11:530
org.eclipse.equinox.frameworkadmin.equinox_1.0.300.v20110815-1438.jarapplication/zip; charset=binary59.7 KB2012-11-06 11:530
org.eclipse.equinox.frameworkadmin_2.0.0.v20110815-1438.jarapplication/zip; charset=binary34.2 KB2012-11-06 11:530
org.eclipse.equinox.http.jetty_2.0.100.v20110502.jarapplication/zip; charset=binary24.3 KB2012-11-06 11:530
org.eclipse.equinox.http.registry_1.1.100.v20110502.jarapplication/zip; charset=binary43.0 KB2012-11-06 11:530
org.eclipse.core.databinding.observable_1.4.0.I20110222-0800.jarapplication/zip; charset=binary289.2 KB2012-11-06 11:530
org.eclipse.core.databinding.property_1.4.0.I20110222-0800.jarapplication/zip; charset=binary164.0 KB2012-11-06 11:530
org.eclipse.core.databinding_1.4.0.I20110111-0800.jarapplication/zip; charset=binary196.3 KB2012-11-06 11:530
org.eclipse.core.expressions_3.4.300.v20110228.jarapplication/zip; charset=binary85.0 KB2012-11-06 11:530
org.eclipse.core.externaltools_1.0.100.v20111007_r372.jarapplication/zip; charset=binary38.8 KB2012-11-06 11:530
org.eclipse.core.filebuffers_3.5.200.v20110928-1504.jarapplication/zip; charset=binary110.8 KB2012-11-06 11:532
org.eclipse.core.filesystem.linux.x86_1.4.0.v20110423-0524.jarapplication/zip; charset=binary9.0 KB2012-11-06 11:530
org.eclipse.core.filesystem.linux.x86_64_1.2.0.v20110423-0524.jarapplication/zip; charset=binary9.3 KB2012-11-06 11:530
org.eclipse.core.filesystem.macosx_1.3.0.v20110423-0524.jarapplication/zip; charset=binary12.3 KB2012-11-06 11:530
org.eclipse.core.filesystem.win32.x86_1.1.300.v20110423-0524.jarapplication/zip; charset=binary29.4 KB2012-11-06 11:530
org.eclipse.core.filesystem.win32.x86_64_1.1.300.v20110423-0524.jarapplication/zip; charset=binary27.7 KB2012-11-06 11:530
org.eclipse.core.filesystem_1.3.100.v20110423-0524.jarapplication/zip; charset=binary52.0 KB2012-11-06 11:530
org.eclipse.core.jobs_3.5.101.v20120113-1953.jarapplication/zip; charset=binary88.9 KB2012-11-06 11:530
org.eclipse.core.net.linux.x86_1.1.200.I20110419-0800.jarapplication/zip; charset=binary36.0 KB2012-11-06 11:530
org.eclipse.core.net.linux.x86_64_1.1.0.I20110331-0827.jarapplication/zip; charset=binary36.9 KB2012-11-06 11:530
org.eclipse.core.net.win32.x86_1.0.100.I20110331-0827.jarapplication/zip; charset=binary29.0 KB2012-11-06 11:530
org.eclipse.core.net.win32.x86_64_1.0.100.I20110331-0827.jarapplication/zip; charset=binary27.5 KB2012-11-06 11:535
org.eclipse.core.net_1.2.100.I20110511-0800.jarapplication/zip; charset=binary67.6 KB2012-11-06 11:530
org.eclipse.core.resources.win32.x86_3.5.100.v20110423-0524.jarapplication/zip; charset=binary16.6 KB2012-11-06 11:530
org.eclipse.core.resources_3.7.101.v20120125-1505.jarapplication/zip; charset=binary788.3 KB2012-11-06 11:531
org.eclipse.core.runtime.compatibility.auth_3.2.200.v20110110.jarapplication/zip; charset=binary22.3 KB2012-11-06 11:530
org.eclipse.core.runtime.compatibility.registry_3.5.0.v20110505.jarapplication/zip; charset=binary16.5 KB2012-11-06 11:530
org.eclipse.core.runtime.compatibility_3.2.100.v20100505.jarapplication/zip; charset=binary90.6 KB2012-11-06 11:530
org.eclipse.core.runtime_3.7.0.v20110110.jarapplication/zip; charset=binary68.9 KB2012-11-06 11:530
org.eclipse.core.variables_3.2.500.v20110928-1503.jarapplication/zip; charset=binary32.3 KB2012-11-06 11:530
org.eclipse.debug.core_3.7.1.v20111129-2031.jarapplication/zip; charset=binary336.5 KB2012-11-06 11:530
org.apache.commons.codec_1.3.0.v201101211617.jarapplication/zip; charset=binary53.7 KB2012-11-06 11:530
org.apache.commons.el_1.0.0.v201101211617.jarapplication/zip; charset=binary125.7 KB2012-11-06 11:530
org.apache.commons.httpclient_3.1.0.v201012070820.jarapplication/zip; charset=binary314.1 KB2012-11-06 11:531
org.apache.commons.logging_1.0.4.v201101211617.jarapplication/zip; charset=binary44.3 KB2012-11-06 11:531
org.apache.jasper_5.5.17.v201101211617.jarapplication/zip; charset=binary1.7 MB2012-11-06 11:530
org.apache.lucene.analysis_2.9.1.v201101211721.jarapplication/zip; charset=binary211.0 KB2012-11-06 11:530
org.apache.lucene.core_2.9.1.v201101211721.jarapplication/zip; charset=binary1.1 MB2012-11-06 11:530
org.apache.lucene.highlighter_2.9.1.v20100421-0704.jarapplication/zip; charset=binary63.0 KB2012-11-06 11:530
org.apache.lucene.memory_2.9.1.v20100421-0704.jarapplication/zip; charset=binary71.0 KB2012-11-06 11:530
org.apache.lucene.misc_2.9.1.v20100421-0704.jarapplication/zip; charset=binary74.9 KB2012-11-06 11:530
org.apache.lucene.queries_2.9.1.v20100421-0704.jarapplication/zip; charset=binary50.3 KB2012-11-06 11:530
org.apache.lucene.snowball_2.9.1.v20100421-0704.jarapplication/zip; charset=binary128.1 KB2012-11-06 11:530
org.apache.lucene.spellchecker_2.9.1.v20100421-0704.jarapplication/zip; charset=binary35.3 KB2012-11-06 11:530
org.apache.lucene_2.9.1.v201101211721.jarapplication/zip; charset=binary69.4 KB2012-11-06 11:530
org.eclipse.ant.core_3.2.302.v20120110-1739.jarapplication/zip; charset=binary95.6 KB2012-11-06 11:531
org.eclipse.compare.core_3.5.200.I20110208-0800.jarapplication/zip; charset=binary60.3 KB2012-11-06 11:530
org.eclipse.compare.win32_1.0.200.I20110510-0800.jarapplication/zip; charset=binary37.0 KB2012-11-06 11:530
org.eclipse.compare_3.5.202.R37x_v20111109-0800.jarapplication/zip; charset=binary717.8 KB2012-11-06 11:531
org.eclipse.core.boot_3.1.200.v20100505.jarapplication/zip; charset=binary6.1 KB2012-11-06 11:530
org.eclipse.core.commands_3.6.0.I20110111-0800.jarapplication/zip; charset=binary104.8 KB2012-11-06 11:530
org.eclipse.core.contenttype_3.4.100.v20110423-0524.jarapplication/zip; charset=binary89.8 KB2012-11-06 11:530
org.eclipse.core.databinding.beans_1.2.100.I20100824-0800.jarapplication/zip; charset=binary73.7 KB2012-11-06 11:530
ch.ethz.eventb.keyboard.latex_1.0.0.r15250.jarapplication/zip; charset=binary2.8 KB2012-11-06 11:530
com.ibm.icu_4.4.2.v20110823.jarapplication/zip; charset=binary6.5 MB2012-11-06 11:530
com.jcraft.jsch_0.1.44.v201101211721.jarapplication/zip; charset=binary194.5 KB2012-11-06 11:535
fr.systerel.editor.help_0.6.0.r15250.jarapplication/zip; charset=binary416.7 KB2012-11-06 11:530
fr.systerel.editor_0.6.4.r15250.jarapplication/zip; charset=binary222.9 KB2012-11-06 11:530
fr.systerel.explorer_1.3.3.r15250.jarapplication/zip; charset=binary129.2 KB2012-11-06 11:530
javax.servlet.jsp_2.0.0.v201101211617.jarapplication/zip; charset=binary62.4 KB2012-11-06 11:530
javax.servlet_2.5.0.v201103041518.jarapplication/zip; charset=binary116.5 KB2012-11-06 11:531
org.apache.ant_1.8.2.v20120109-1030.jarapplication/zip; charset=binary2.2 MB2012-11-06 11:5311
binary
org.rodinp.platform.product_root.win32.win32.x86_64_2.7.0.r15250application/zip; charset=binary10.0 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.cocoa.macosx.ppc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary18.8 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.cocoa.macosx.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary18.8 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.cocoa.macosx.x86_64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary11.0 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.aix.ppc64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary236.3 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.aix.ppc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary232.6 KB2012-11-06 11:531
org.eclipse.equinox.executable_root.gtk.hpux.ia64_32_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary13.7 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.ppc64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary38.5 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.ppc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary164.6 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.s390_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary39.1 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.s390x_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary39.3 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary157.6 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.linux.x86_64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary175.6 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.solaris.sparc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary12.1 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.gtk.solaris.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary10.8 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.motif.aix.ppc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary30.8 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.motif.hpux.ia64_32_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary14.7 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.motif.linux.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary868.2 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.motif.solaris.sparc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary24.0 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.win32.win32.ia64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary117.9 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.win32.win32.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary17.1 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.win32.win32.x86_64_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary18.7 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.wpf.win32.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary26.2 KB2012-11-06 11:530
org.eclipse.platform_root_3.7.2.v20120207-1839-9gF7UHPDFxGjd-PqDr2jX_4yKaumkoHTz04_q-qapplication/zip; charset=binary42.8 KB2012-11-06 11:530
org.eclipse.rcp_root_3.7.2.v20120120-1424-9DB5FmnFq5JCf1UA38R-kz0S0272application/zip; charset=binary42.8 KB2012-11-06 11:530
org.rodinp.platform.product.root.feature_root_2.7.0.r15250application/zip; charset=binary0.3 KB2012-11-06 11:530
org.rodinp.platform.product_root.cocoa.macosx.x86_64_2.7.0.r15250application/zip; charset=binary125.0 KB2012-11-06 11:530
org.rodinp.platform.product_root.gtk.linux.x86_2.7.0.r15250application/zip; charset=binary157.9 KB2012-11-06 11:530
org.rodinp.platform.product_root.gtk.linux.x86_64_2.7.0.r15250application/zip; charset=binary175.9 KB2012-11-06 11:530
org.rodinp.platform.product_root.win32.win32.x86_2.7.0.r15250application/zip; charset=binary8.4 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.carbon.macosx.ppc_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary17.5 KB2012-11-06 11:530
org.eclipse.equinox.executable_root.carbon.macosx.x86_3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZapplication/zip; charset=binary17.5 KB2012-11-06 11:530
features
fr.systerel.editor_0.6.4.r15250.jarapplication/zip; charset=binary12.9 KB2012-11-06 11:530
org.eclipse.emf.edit_2.7.2.v20120130-0943.jarapplication/zip; charset=binary16.9 KB2012-11-06 11:533
org.eclipse.equinox.p2.core.feature_1.0.1.v20110906-1605-8290FZ9FVKHVRKtmx3fpNuo02129.jarapplication/zip; charset=binary29.5 KB2012-11-06 11:531
org.eclipse.equinox.p2.extras.feature_1.0.1.v20110906-1605-7A4FD4DiVOMap8cHSc6vPuny4gqO.jarapplication/zip; charset=binary29.1 KB2012-11-06 11:530
org.eclipse.equinox.p2.rcp.feature_1.0.1.v20110906-1605-782EqBqNKGVkiV-PUsgz-uny4gqO.jarapplication/zip; charset=binary29.0 KB2012-11-06 11:530
org.eclipse.equinox.p2.user.ui_2.1.2.R37x_v20110815-1155-6-Bk8pYWZz0qUTX5I15GZWwbXkrl.jarapplication/zip; charset=binary29.1 KB2012-11-06 11:530
org.eclipse.help_1.3.0.v20110530-0844-7i7uFFmFFl8nvqbDpEqTvx.jarapplication/zip; charset=binary29.1 KB2012-11-06 11:530
org.eclipse.platform_3.7.2.v20120207-1839-9gF7UHPDFxGjd-PqDr2jX_4yKaumkoHTz04_q-q.jarapplication/zip; charset=binary30.3 KB2012-11-06 11:530
org.eclipse.rcp_3.7.2.v20120120-1424-9DB5FmnFq5JCf1UA38R-kz0S0272.jarapplication/zip; charset=binary29.8 KB2012-11-06 11:530
org.eventb.ide_2.7.0.r15250.jarapplication/zip; charset=binary13.7 KB2012-11-06 11:530
org.rodinp.platform_2.7.0.r15250.jarapplication/zip; charset=binary13.9 KB2012-11-06 11:530
org.rodinp_1.6.0.r15250.jarapplication/zip; charset=binary13.7 KB2012-11-06 11:530
artifacts.jarapplication/zip; charset=binary10.0 KB2012-11-06 11:530
content.jarapplication/zip; charset=binary104.0 KB2012-11-06 11:530
Plugin_Atomicity Decomposition
1.0.0
ac.soton.eventb.atomicitydecomposition_1.0.0.jarapplication/zip; charset=binary49.2 KB2012-08-20 21:150
ac.soton.eventb.atomicitydecomposition.refineExtension_1.0.0.jarapplication/zip; charset=binary5.6 KB2012-08-20 21:150
ac.soton.eventb.atomicitydecomposition.transformation_1.0.0.jarapplication/zip; charset=binary47.7 KB2012-08-20 21:150
ac.soton.eventb.atomicitydecomposition.feature_1.0.0.jarapplication/zip; charset=binary11.4 KB2012-08-20 21:150
ac.soton.eventb.atomicitydecomposition.persistence_1.0.0.jarapplication/zip; charset=binary8.1 KB2012-08-20 21:150
ac.soton.eventb.atomicitydecomposition.edit_1.0.0.jarapplication/zip; charset=binary55.2 KB2012-08-20 21:150
Plugin_ SharedEventComposition
1.6.0
ac.soton.composition.ui_1.6.0.jarapplication/zip; charset=binary344.0 KB2012-08-16 14:260
ac.soton.composition.decomposition_1.3.0.jarapplication/zip; charset=binary11.9 KB2012-08-16 14:262
ac.soton.composition.core_1.6.0.jarapplication/zip; charset=binary261.0 KB2012-08-16 14:260
ac.soton.composition_feature_1.6.0.jarapplication/zip; charset=binary11.8 KB2012-08-16 14:260
1.5.1
ac.soton.composition.refactory_1.2.0.jarapplication/zip; charset=binary22.4 KB2012-06-22 18:250
ac.soton.composition.ui_1.5.1.jarapplication/zip; charset=binary344.1 KB2012-06-22 18:250
ac.soton.composition.core_1.5.1.jarapplication/zip; charset=binary251.4 KB2012-06-22 18:250
ac.soton.composition.decomposition_1.2.1.jarapplication/zip; charset=binary11.9 KB2012-06-22 18:250
ac.soton.composition_feature_1.5.1.jarapplication/zip; charset=binary11.8 KB2012-06-22 18:250
1.5.0
ac.soton.composition.ui_1.5.0.jarapplication/zip; charset=binary343.5 KB2012-06-01 18:190
ac.soton.composition.core_1.5.0.jarapplication/zip; charset=binary251.0 KB2012-06-01 18:190
ac.soton.composition_feature_1.5.0.jarapplication/zip; charset=binary11.8 KB2012-06-01 18:190
1.4
ac.soton.composition.ui_1.3.1.201112011954.jarapplication/zip; charset=binary281.2 KB2011-12-01 20:550
ac.soton.composition.core_1.3.1.201112011954.jarapplication/zip; charset=binary121.1 KB2011-12-01 20:550
ac.soton.composition_feature_1.4.0.201112011954.jarapplication/zip; charset=binary11.8 KB2011-12-01 20:550
ac.soton.composition_1.4.0.zipapplication/zip; charset=binary2.2 MB2011-06-29 13:570
ac.soton.composition.refactory_1.1.1.jarapplication/zip; charset=binary22.4 KB2011-06-29 13:550
1.3.1
ac.soton.composition.1.3.1.zipapplication/zip; charset=binary1.6 MB2011-03-09 16:530
ac.soton.composition_feature_1.3.1.jarapplication/zip; charset=binary11.5 KB2011-03-09 16:520
ac.soton.composition.core_1.3.1.jarapplication/zip; charset=binary121.0 KB2011-03-09 16:520
1.3
ac.soton.composition.ui_1.3.0.jarapplication/zip; charset=binary279.8 KB2011-02-14 13:170
ac.soton.composition.core_1.3.0.jarapplication/zip; charset=binary121.0 KB2011-02-14 13:170
ac.soton.composition_feature_1.3.0.jarapplication/zip; charset=binary11.5 KB2011-02-14 13:170
ac.soton.composition.1.3.0.zipapplication/zip; charset=binary1.5 MB2011-02-11 17:270
0.2.1
ac.soton.composition_feature_1.2.1.jarapplication/zip; charset=binary11.4 KB2010-11-26 11:500
ac.soton.composition.ui_1.1.1.jarapplication/zip; charset=binary275.9 KB2010-11-26 11:500
ac.soton.composition.core_0.2.1.jarapplication/zip; charset=binary120.7 KB2010-11-26 11:500
0.2.0
ac.soton.composition_feature_1.2.0.jarapplication/zip; charset=binary11.6 KB2010-11-08 12:520
ac.soton.composition.decomposition_1.1.0.jarapplication/zip; charset=binary11.5 KB2010-11-08 12:330
ac.soton.composition_1.2.0.zipapplication/zip; charset=binary1.9 MB2010-11-08 12:210
ac.soton.composition.ui_1.1.0.jarapplication/zip; charset=binary284.9 KB2010-11-08 12:200
ac.soton.composition.refactory_1.0.0.jarapplication/zip; charset=binary22.4 KB2010-11-08 12:200
ac.soton.composition.core_0.2.0.jarapplication/zip; charset=binary112.8 KB2010-11-08 12:200
0.1.6
ac.soton.composition_0.1.6.201007061219.zipapplication/zip; charset=binary1.4 MB2010-07-06 14:412
ac.soton.composition.ui_0.1.6.201007061219.jarapplication/zip; charset=binary330.2 KB2010-07-06 14:390
ac.soton.composition.refactory_1.0.0.jarapplication/zip; charset=binary22.4 KB2010-07-06 14:390
ac.soton.composition.decomposition_1.0.0.jarapplication/zip; charset=binary11.4 KB2010-07-06 14:380
ac.soton.composition.core_0.1.6.201007061219.jarapplication/zip; charset=binary59.9 KB2010-07-06 14:380
ac.soton.composition_feature_1.1.6.201007061219.jarapplication/zip; charset=binary11.3 KB2010-07-06 14:380
ac.soton.composition_0.1.6.zipapplication/zip; charset=binary1.3 MB2010-05-28 18:450
ac.soton.composition.ui_0.1.6.jarapplication/zip; charset=binary331.6 KB2010-05-28 18:440
ac.soton.composition.decomposition_0.0.2.jarapplication/zip; charset=binary11.4 KB2010-05-28 18:430
ac.soton.composition.core_0.1.6.jarapplication/zip; charset=binary54.1 KB2010-05-28 18:430
ac.soton.composition_feature_1.1.6.jarapplication/zip; charset=binary11.2 KB2010-05-28 18:430
0.1.5
ac.soton.composition.1.1.5.zipapplication/zip; charset=binary329.7 KB2010-02-23 17:511
ac.soton.composition.ui_0.1.5.jarapplication/zip; charset=binary320.2 KB2010-02-23 17:500
ac.soton.composition.decomposition_0.0.1.jarapplication/zip; charset=binary11.0 KB2010-02-23 17:490
ac.soton.composition.core_0.1.5.jarapplication/zip; charset=binary48.9 KB2010-02-23 17:490
ac.soton.composition_feature_1.1.5.jarapplication/zip; charset=binary11.2 KB2010-02-23 17:450
0.1.4
ac.soton.composition_0.1.4.zipapplication/x-zip339.9 KB2009-10-30 19:320
ac.soton.composition.refactory_0.0.1.jarapplication/zip; charset=binary22.6 KB2009-10-30 19:300
ac.soton.composition.ui_0.1.4.jarapplication/zip; charset=binary317.6 KB2009-10-30 19:300
ac.soton.composition.core_0.1.4.jarapplication/zip; charset=binary48.1 KB2009-10-30 19:300
ac.soton.composition_feature_1.1.4.jarapplication/zip; charset=binary11.3 KB2009-10-30 19:270
0.1.3
ac.soton.composition_0.1.3.zipapplication/x-zip327.4 KB2009-07-03 16:440
ac.soton.composition.core_0.1.3.jarapplication/zip; charset=binary48.1 KB2009-07-03 16:400
ac.soton.composition.refactory_0.0.1.jarapplication/zip; charset=binary22.6 KB2009-07-03 16:400
ac.soton.composition.ui_0.1.3.jarapplication/zip; charset=binary316.2 KB2009-07-03 16:400
ac.soton.composition_feature_1.1.3.jarapplication/zip; charset=binary11.3 KB2009-07-03 16:400
0.1.2
ac.soton.composition.core_0.1.2.jarapplication/zip; charset=binary47.0 KB2009-06-15 18:010
ac.soton.composition.ui_0.1.2.jarapplication/zip; charset=binary316.2 KB2009-06-15 18:010
ac.soton.composition_0.1.2.zipapplication/x-zip318.0 KB2009-06-15 18:010
ac.soton.composition_feature_1.1.2.jarapplication/zip; charset=binary11.3 KB2009-06-15 18:010
0.1.1
ac.soton.composition.core_0.1.1.jarapplication/zip; charset=binary50.1 KB2009-03-26 20:380
ac.soton.composition.ui_0.1.1.jarapplication/zip; charset=binary317.4 KB2009-03-26 20:380
ac.soton.composition_1.1.1.zipapplication/x-zip638.4 KB2009-03-26 20:380
ac.soton.composition_feature_1.1.1.jarapplication/zip; charset=binary11.3 KB2009-03-26 20:380
0.1.0
ac.soton.composition_1.1.0.zipapplication/x-zip319.8 KB2009-02-24 18:070
ac.soton.composition.core_0.1.0.jarapplication/zip; charset=binary49.1 KB2009-02-24 18:000
ac.soton.composition.ui_0.1.0.jarapplication/zip; charset=binary315.2 KB2009-02-24 18:000
ac.soton.composition_feature_1.1.0.jarapplication/zip; charset=binary11.3 KB2009-02-24 18:000
0.0.5
ac.soton.composition.core_0.0.5.jarapplication/zip; charset=binary33.1 KB2009-02-09 17:450
ac.soton.composition.ui_0.0.5.jarapplication/zip; charset=binary300.0 KB2009-02-09 17:450
ac.soton.composition_feature.zipapplication/x-zip292.8 KB2009-02-09 17:450
ac.soton.composition_feature_1.0.2.jarapplication/zip; charset=binary11.3 KB2009-02-09 17:450
0.0.4
ac.soton.composition_feature_1.0.1.jarapplication/zip; charset=binary11.4 KB2009-01-11 09:350
ac.soton.composition.ui_0.0.4.jarapplication/zip; charset=binary318.5 KB2008-12-12 14:260
ac.soton.composition_feature_1.0.1.zipapplication/x-zip310.7 KB2008-12-12 13:340
ac.soton.composition.core_0.0.4.jarapplication/zip; charset=binary34.1 KB2008-12-12 13:330
0.0.3
ac.soton.composition_feature_1.0.0.jarapplication/zip; charset=binary0.8 KB2008-12-11 16:120
ac.soton.composition.core_0.0.3.jarapplication/zip; charset=binary34.1 KB2008-12-04 14:402
ac.soton.composition.ui_0.0.3.jarapplication/zip; charset=binary316.4 KB2008-12-04 14:400
ac.soton.composition.zipapplication/x-zip651.7 KB2008-12-04 14:400
Plugin_ Renaming_Refactory
1.2.2
ac.ddorf.refactory.ui_1.2.2.jarapplication/zip; charset=binary45.6 KB2012-06-22 18:080
ac.ddorf.refactory.eventb_1.2.0.jarapplication/zip; charset=binary78.2 KB2012-06-22 18:080
ac.ddorf.refactory_1.2.0.jarapplication/zip; charset=binary190.1 KB2012-06-22 18:080
ac.ddorf.refactory_feature_1.2.2.jarapplication/zip; charset=binary11.9 KB2012-06-22 18:080
1.2.1
ac.ddorf.refactory_feature_1.2.1.zipapplication/zip; charset=binary842.7 KB2011-09-01 18:130
ac.ddorf.refactory_1.1.1.jarapplication/zip; charset=binary190.0 KB2011-09-01 18:130
ac.ddorf.refactory.eventb_1.1.1.jarapplication/zip; charset=binary77.4 KB2011-09-01 18:130
ac.ddorf.refactory.ui_1.2.1.jarapplication/zip; charset=binary43.5 KB2011-09-01 18:130
ac.ddorf.refactory_feature_1.2.1.jarapplication/zip; charset=binary11.9 KB2011-09-01 18:130
1.2.0
ac.ddorf.refactory_1.2.0.zipapplication/zip; charset=binary838.6 KB2011-06-29 14:000
ac.ddorf.refactory.ui_1.2.0.jarapplication/zip; charset=binary42.2 KB2011-06-29 12:580
ac.ddorf.refactory_1.1.0.jarapplication/zip; charset=binary188.9 KB2011-06-29 12:580
ac.ddorf.refactory.eventb_1.1.0.jarapplication/zip; charset=binary74.5 KB2011-06-29 12:580
ac.ddorf.refactory_feature_1.2.0.jarapplication/zip; charset=binary11.8 KB2011-06-29 12:580
1.1.0
ac.ddorf.refactory.ui_1.1.0.jarapplication/zip; charset=binary37.8 KB2011-02-11 17:480
ac.ddorf.refactory_feature_1.1.0.jarapplication/zip; charset=binary11.7 KB2011-02-11 17:480
ac.ddorf.refactory.1.1.0.zipapplication/zip; charset=binary1.1 MB2011-02-11 17:190
1.0.0
ac.ddorf.refactory_feature_1.0.0.jarapplication/zip; charset=binary11.7 KB2010-11-08 12:530
ac.ddorf.refactory_1.0.0.zipapplication/zip; charset=binary1.6 MB2010-11-08 12:010
ac.ddorf.refactory_1.0.0.jarapplication/zip; charset=binary188.9 KB2010-11-08 11:590
ac.ddorf.refactory.ui_1.0.0.jarapplication/zip; charset=binary37.4 KB2010-11-08 11:590
ac.ddorf.refactory.eventb_1.0.0.jarapplication/zip; charset=binary70.5 KB2010-11-08 11:590
0.0.8
ac.ddorf.refactory_0.0.8.201007061326.zipapplication/zip; charset=binary808.7 KB2010-07-06 14:370
ac.ddorf.refactory_0.0.8.201007061326.jarapplication/zip; charset=binary188.4 KB2010-07-06 14:350
ac.ddorf.refactory.ui_0.0.8.201007061326.jarapplication/zip; charset=binary34.3 KB2010-07-06 14:350
ac.ddorf.refactory.eventb_0.0.8.201007061326.jarapplication/zip; charset=binary69.9 KB2010-07-06 14:351
ac.ddorf.refactory_feature_0.0.8.201007061326.jarapplication/zip; charset=binary11.2 KB2010-07-06 14:340
ac.ddorf.refactory_0.0.8.zipapplication/zip; charset=binary1.5 MB2010-05-26 12:260
ac.ddorf.refactory_0.0.8.jarapplication/zip; charset=binary188.2 KB2010-05-26 12:240
ac.ddorf.refactory.ui_0.0.8.jarapplication/zip; charset=binary34.2 KB2010-05-26 12:240
ac.ddorf.refactory.eventb_0.0.8.jarapplication/zip; charset=binary67.9 KB2010-05-26 12:240
ac.ddorf.refactory_feature_0.0.8.jarapplication/zip; charset=binary11.2 KB2010-05-26 12:240
0.0.7
ac.ddorf.refactory.eventb_0.0.7.zipapplication/zip; charset=binary254.4 KB2010-03-29 20:130
ac.ddorf.refactory.eventb_0.0.7.jarapplication/zip; charset=binary66.1 KB2010-03-29 20:120
ac.ddorf.refactory_0.0.7.jarapplication/zip; charset=binary188.2 KB2010-03-29 20:120
ac.ddorf.refactory_feature_0.0.7.jarapplication/zip; charset=binary11.2 KB2010-03-29 20:110
0.0.6
ac.ddorf.refactory_0.0.6.jarapplication/zip; charset=binary188.2 KB2010-02-24 15:510
ac.ddorf.refactory.ui_0.0.6.jarapplication/zip; charset=binary32.7 KB2010-02-24 15:511
ac.ddorf.refactory.eventb_0.0.6.jarapplication/zip; charset=binary74.0 KB2010-02-24 15:500
ac.ddorf.refactory_feature_0.0.6.jarapplication/zip; charset=binary11.1 KB2010-02-24 15:500
0.0.5
ac.ddorf.refactory_0.0.5.zipapplication/x-zip277.1 KB2010-01-15 16:150
ac.ddorf.refactory.eventb_0.0.5.jarapplication/zip; charset=binary61.4 KB2010-01-15 16:150
ac.ddorf.refactory.ui_0.0.4.jarapplication/zip; charset=binary32.3 KB2010-01-15 16:150
ac.ddorf.refactory_0.0.4.jarapplication/zip; charset=binary186.3 KB2010-01-15 16:150
ac.ddorf.refactory_feature_0.0.5.jarapplication/zip; charset=binary11.6 KB2010-01-15 16:150
0.0.4
ac.ddorf.refactory.0.0.4.zipapplication/x-zip277.5 KB2009-11-06 13:310
ac.ddorf.refactory.eventb_0.0.4.jarapplication/zip; charset=binary62.1 KB2009-11-06 13:301
ac.ddorf.refactory_feature_0.0.4.jarapplication/zip; charset=binary11.6 KB2009-11-06 13:300
ac.ddorf.refactory_0.0.4.jarapplication/zip; charset=binary186.3 KB2009-11-05 12:270
ac.ddorf.refactory.ui_0.0.4.jarapplication/zip; charset=binary32.3 KB2009-11-05 12:260
0.0.3
ac.ddorf.refactory.0.0.3.zipapplication/x-zip279.1 KB2009-10-30 19:370
ac.ddorf.refactory_0.0.3.jarapplication/zip; charset=binary186.3 KB2009-10-30 19:360
ac.ddorf.refactory.ui_0.0.3.jarapplication/zip; charset=binary32.2 KB2009-10-30 19:360
ac.ddorf.refactory.eventb_0.0.3.jarapplication/zip; charset=binary63.7 KB2009-10-30 19:350
ac.ddorf.refactory_feature_0.0.3.jarapplication/zip; charset=binary11.6 KB2009-10-30 19:350
0.0.2
ac.ddorf.refactory_feature_0.0.2.jarapplication/zip; charset=binary11.6 KB2009-07-03 20:140
ac.ddorf.refactory.ui_0.0.2.jarapplication/zip; charset=binary30.0 KB2009-07-03 19:570
ac.ddorf.refactory_0.0.2.jarapplication/zip; charset=binary186.3 KB2009-07-03 19:570
ac.ddorf.refactory_0.0.2.zipapplication/x-zip259.1 KB2009-07-03 19:570
ac.ddorf.refactory.eventb_0.0.2.jarapplication/zip; charset=binary56.7 KB2009-07-03 19:570
0.0.1
ac.ddorf.refactory_0.0.1.jarapplication/zip; charset=binary186.3 KB2009-07-03 12:050
ac.ddorf.refactory.eventb_0.0.1.jarapplication/zip; charset=binary56.5 KB2009-06-15 17:070
ac.ddorf.refactory.ui_0.0.1.jarapplication/zip; charset=binary30.1 KB2009-06-15 17:070
ac.ddorf.refactory_feature_0.0.1.jarapplication/zip; charset=binary11.6 KB2009-06-15 17:070
renaming_refactory_plugin.zipapplication/x-zip270.6 KB2009-06-15 17:070
Plugin_CodeGenerator
0.2.3
org.eventb.taskingMetamodel.edit_0.1.3.201206071309.jarapplication/zip; charset=binary67.8 KB2012-06-07 14:320
org.eventb.taskingMetamodel.editor_0.1.3.201206071309.jarapplication/zip; charset=binary60.5 KB2012-06-07 14:320
org.eventb.taskingMetamodel_0.1.3.201206071309.jarapplication/zip; charset=binary55.3 KB2012-06-07 14:320
org.eventb.compositeControlMetamodel.edit_0.1.2.201206071309.jarapplication/zip; charset=binary57.1 KB2012-06-07 14:320
org.eventb.tasking.persistence_0.0.1.201206071309.jarapplication/zip; charset=binary49.0 KB2012-06-07 14:320
org.eventb.compositeControl.persistence_0.1.1.201206071309.jarapplication/zip; charset=binary28.5 KB2012-06-07 14:320
org.eventb.compositeControlMetamodel_0.0.2.201206071309.jarapplication/zip; charset=binary41.3 KB2012-06-07 14:320
org.eventb.codegen.ui_0.0.2.201206071309.jarapplication/zip; charset=binary42.1 KB2012-06-07 14:320
org.eventb.codegen.theory.translator.ui_0.0.1.201206071309.jarapplication/zip; charset=binary17.9 KB2012-06-07 14:320
org.eventb.codegen.theory.translator.core_0.0.1.201206071309.jarapplication/zip; charset=binary53.1 KB2012-06-07 14:320
org.eventb.codegen.TaskbodyBuilder_0.0.1.201206071309.jarapplication/zip; charset=binary47.2 KB2012-06-07 14:320
org.eventb.codegen.tasking_0.0.2.201206071309.jarapplication/zip; charset=binary122.3 KB2012-06-07 14:320
org.eventb.codegen.IL1.translator_0.0.2.201206071309.jarapplication/zip; charset=binary299.3 KB2012-06-07 14:320
org.eventb.codegen.IL1.core.edit_0.0.2.201206071309.jarapplication/zip; charset=binary772.6 KB2012-06-07 14:320
org.eventb.codegen.IL1.core.editor_0.0.2.201206071309.jarapplication/zip; charset=binary183.9 KB2012-06-07 14:320
org.eventb.codegen.IL1.core_0.0.2.201206071309.jarapplication/zip; charset=binary157.8 KB2012-06-07 14:320
ac.soton.compositionmodel.persistence_0.0.1.201206071309.jarapplication/zip; charset=binary12.7 KB2012-06-07 14:320
ac.soton.compositionmodel.core.edit_0.0.1.201206071309.jarapplication/zip; charset=binary27.3 KB2012-06-07 14:320
ac.soton.compositionmodel.core.editor_0.0.1.201206071309.jarapplication/zip; charset=binary65.7 KB2012-06-07 14:320
ac.soton.compositionmodel.core_0.0.1.201206071309.jarapplication/zip; charset=binary31.6 KB2012-06-07 14:320
org.eventb.codegen.feature_0.2.3.201206071309.jarapplication/zip; charset=binary11.9 KB2012-06-07 14:310
org.eventb.taskingMetamodel.editor_0.1.3.201205300838.jarapplication/zip; charset=binary60.5 KB2012-05-30 09:470
org.eventb.taskingMetamodel_0.1.3.201205300838.jarapplication/zip; charset=binary55.3 KB2012-05-30 09:470
org.eventb.tasking.persistence_0.0.1.201205300838.jarapplication/zip; charset=binary49.0 KB2012-05-30 09:470
org.eventb.taskingMetamodel.edit_0.1.3.201205300838.jarapplication/zip; charset=binary67.8 KB2012-05-30 09:470
org.eventb.compositeControlMetamodel.edit_0.1.2.201205300838.jarapplication/zip; charset=binary57.1 KB2012-05-30 09:470
org.eventb.compositeControlMetamodel_0.0.2.201205300838.jarapplication/zip; charset=binary41.3 KB2012-05-30 09:470
org.eventb.codegen.ui_0.0.2.201205300838.jarapplication/zip; charset=binary42.1 KB2012-05-30 09:470
org.eventb.compositeControl.persistence_0.1.1.201205300838.jarapplication/zip; charset=binary28.5 KB2012-05-30 09:470
org.eventb.codegen.theory.translator.ui_0.0.1.201205300838.jarapplication/zip; charset=binary17.9 KB2012-05-30 09:470
org.eventb.codegen.theory.translator.core_0.0.1.201205300838.jarapplication/zip; charset=binary53.1 KB2012-05-30 09:470
org.eventb.codegen.TaskbodyBuilder_0.0.1.201205300838.jarapplication/zip; charset=binary47.2 KB2012-05-30 09:470
org.eventb.codegen.tasking_0.0.2.201205300838.jarapplication/zip; charset=binary122.0 KB2012-05-30 09:470
org.eventb.codegen.IL1.translator_0.0.2.201205300838.jarapplication/zip; charset=binary299.3 KB2012-05-30 09:470
org.eventb.codegen.IL1.core.editor_0.0.2.201205300838.jarapplication/zip; charset=binary183.9 KB2012-05-30 09:470
org.eventb.codegen.IL1.core_0.0.2.201205300838.jarapplication/zip; charset=binary157.8 KB2012-05-30 09:470
org.eventb.codegen.IL1.core.edit_0.0.2.201205300838.jarapplication/zip; charset=binary772.6 KB2012-05-30 09:470
ac.soton.compositionmodel.core_0.0.1.201205300838.jarapplication/zip; charset=binary31.6 KB2012-05-30 09:470
ac.soton.compositionmodel.persistence_0.0.1.201205300838.jarapplication/zip; charset=binary12.7 KB2012-05-30 09:470
ac.soton.compositionmodel.core.editor_0.0.1.201205300838.jarapplication/zip; charset=binary65.7 KB2012-05-30 09:470
ac.soton.compositionmodel.core.edit_0.0.1.201205300838.jarapplication/zip; charset=binary27.3 KB2012-05-30 09:470
org.eventb.codegen.feature_0.2.3.201205300838.jarapplication/zip; charset=binary11.9 KB2012-05-30 09:470
0.2.2
org.eventb.codegen.feature_0.2.2.201203201203.jarapplication/zip; charset=binary11.9 KB2012-03-21 13:500
org.eventb.taskingMetamodel.editor_0.1.3.201203201203.jarapplication/zip; charset=binary60.5 KB2012-03-20 17:170
org.eventb.taskingMetamodel_0.1.3.201203201203.jarapplication/zip; charset=binary55.3 KB2012-03-20 17:170
org.eventb.tasking.persistence_0.0.1.201203201203.jarapplication/zip; charset=binary49.0 KB2012-03-20 17:160
org.eventb.taskingMetamodel.edit_0.1.3.201203201203.jarapplication/zip; charset=binary67.8 KB2012-03-20 17:160
org.eventb.compositeControl.persistence_0.1.1.201203201203.jarapplication/zip; charset=binary28.5 KB2012-03-20 17:160
org.eventb.compositeControlMetamodel.edit_0.1.1.201203201203.jarapplication/zip; charset=binary57.1 KB2012-03-20 17:160
org.eventb.compositeControlMetamodel_0.0.1.201203201203.jarapplication/zip; charset=binary41.0 KB2012-03-20 17:160
org.eventb.codegen.ui_0.0.1.201203201203.jarapplication/zip; charset=binary25.5 KB2012-03-20 17:160
org.eventb.codegen.theory.translator.core_0.0.1.201203201203.jarapplication/zip; charset=binary53.1 KB2012-03-20 17:160
org.eventb.codegen.theory.translator.ui_0.0.1.201203201203.jarapplication/zip; charset=binary17.9 KB2012-03-20 17:160
org.eventb.codegen.TaskbodyBuilder_0.0.1.201203201203.jarapplication/zip; charset=binary47.2 KB2012-03-20 17:160
org.eventb.codegen.tasking_0.0.1.201203201203.jarapplication/zip; charset=binary108.4 KB2012-03-20 17:160
org.eventb.codegen.IL1.core_0.0.1.201203201203.jarapplication/zip; charset=binary146.6 KB2012-03-20 17:160
org.eventb.codegen.IL1.translator_0.0.1.201203201203.jarapplication/zip; charset=binary290.8 KB2012-03-20 17:160
org.eventb.codegen.IL1.core.edit_0.0.1.201203201203.jarapplication/zip; charset=binary754.8 KB2012-03-20 17:160
org.eventb.codegen.IL1.core.editor_0.0.1.201203201203.jarapplication/zip; charset=binary183.6 KB2012-03-20 17:160
ac.soton.compositionmodel.core_0.0.1.201203201203.jarapplication/zip; charset=binary31.6 KB2012-03-20 17:160
ac.soton.compositionmodel.persistence_0.0.1.201203201203.jarapplication/zip; charset=binary12.7 KB2012-03-20 17:160
ac.soton.compositionmodel.core.edit_0.0.1.201203201203.jarapplication/zip; charset=binary27.3 KB2012-03-20 17:160
ac.soton.compositionmodel.core.editor_0.0.1.201203201203.jarapplication/zip; charset=binary65.7 KB2012-03-20 17:160
org.eventb.codegen.0.2.2.zipapplication/zip; charset=binary3.2 MB2012-03-20 17:150
0.2.1
org.eventb.taskingMetamodel.edit_0.1.3.201112131129.jarapplication/zip; charset=binary67.7 KB2011-12-13 12:440
org.eventb.taskingMetamodel.editor_0.1.3.201112131129.jarapplication/zip; charset=binary60.5 KB2011-12-13 12:440
org.eventb.taskingMetamodel_0.1.3.201112131129.jarapplication/zip; charset=binary55.4 KB2011-12-13 12:440
org.eventb.tasking.persistence_0.0.1.201112131129.jarapplication/zip; charset=binary38.7 KB2011-12-13 12:440
org.eventb.codegen.0.2.1.zipapplication/zip; charset=binary6.5 MB2011-12-13 12:440
org.eventb.compositeControlMetamodel.edit_0.1.1.201112131129.jarapplication/zip; charset=binary57.0 KB2011-12-13 12:440
org.eventb.compositeControl.persistence_0.1.1.201112131129.jarapplication/zip; charset=binary29.8 KB2011-12-13 12:440
org.eventb.compositeControlMetamodel_0.0.1.201112131129.jarapplication/zip; charset=binary41.0 KB2011-12-13 12:440
org.eventb.codegen.theory.translator.core_0.0.1.201112131129.jarapplication/zip; charset=binary53.0 KB2011-12-13 12:440
org.eventb.codegen.theory.translator.ui_0.0.1.201112131129.jarapplication/zip; charset=binary17.7 KB2011-12-13 12:440
org.eventb.codegen.TaskbodyBuilder_0.0.1.201112131129.jarapplication/zip; charset=binary47.1 KB2011-12-13 12:441
org.eventb.codegen.tasking_0.0.1.201112131129.jarapplication/zip; charset=binary93.1 KB2011-12-13 12:440
org.eventb.codegen.IL1.core.editor_0.0.1.201112131129.jarapplication/zip; charset=binary183.6 KB2011-12-13 12:440
org.eventb.codegen.IL1.translator_0.0.1.201112131129.jarapplication/zip; charset=binary205.3 KB2011-12-13 12:440
org.eventb.codegen.IL1.core.edit_0.0.1.201112131129.jarapplication/zip; charset=binary748.4 KB2011-12-13 12:440
ac.soton.compositionmodel.persistence_0.0.1.201112131129.jarapplication/zip; charset=binary12.7 KB2011-12-13 12:440
org.eventb.codegen.IL1.core_0.0.1.201112131129.jarapplication/zip; charset=binary142.1 KB2011-12-13 12:440
ac.soton.compositionmodel.core.edit_0.0.1.201112131129.jarapplication/zip; charset=binary27.3 KB2011-12-13 12:440
ac.soton.compositionmodel.core.editor_0.0.1.201112131129.jarapplication/zip; charset=binary65.7 KB2011-12-13 12:440
ac.soton.compositionmodel.core_0.0.1.201112131129.jarapplication/zip; charset=binary31.6 KB2011-12-13 12:440
org.eventb.codegen.feature_0.2.1.201112131129.jarapplication/zip; charset=binary11.9 KB2011-12-13 12:440
0.2
org.eventb.taskingMetamodel.editor_0.1.3.201112021652.jarapplication/zip; charset=binary60.5 KB2011-12-02 17:550
org.eventb.tasking.persistence_0.0.1.201112021652.jarapplication/zip; charset=binary38.7 KB2011-12-02 17:550
org.eventb.taskingMetamodel.edit_0.1.3.201112021652.jarapplication/zip; charset=binary67.7 KB2011-12-02 17:550
org.eventb.taskingMetamodel_0.1.3.201112021652.jarapplication/zip; charset=binary55.4 KB2011-12-02 17:550
org.eventb.compositeControl.persistence_0.1.1.201112021652.jarapplication/zip; charset=binary29.8 KB2011-12-02 17:550
org.eventb.compositeControlMetamodel.edit_0.1.1.201112021652.jarapplication/zip; charset=binary57.0 KB2011-12-02 17:550
org.eventb.compositeControlMetamodel_0.0.1.201112021652.jarapplication/zip; charset=binary41.0 KB2011-12-02 17:550
org.eventb.codegen.theory.translator.core_0.0.1.201112021652.jarapplication/zip; charset=binary53.0 KB2011-12-02 17:550
org.eventb.codegen.theory.translator.ui_0.0.1.201112021652.jarapplication/zip; charset=binary17.7 KB2011-12-02 17:550
org.eventb.codegen.IL1.translator_0.0.1.201112021652.jarapplication/zip; charset=binary205.3 KB2011-12-02 17:550
org.eventb.codegen.TaskbodyBuilder_0.0.1.201112021652.jarapplication/zip; charset=binary47.2 KB2011-12-02 17:550
org.eventb.codegen.tasking_0.0.1.201112021652.jarapplication/zip; charset=binary92.9 KB2011-12-02 17:550
org.eventb.codegen.IL1.core.editor_0.0.1.201112021652.jarapplication/zip; charset=binary183.6 KB2011-12-02 17:550
org.eventb.codegen.IL1.core.edit_0.0.1.201112021652.jarapplication/zip; charset=binary748.4 KB2011-12-02 17:550
org.eventb.codegen.IL1.core_0.0.1.201112021652.jarapplication/zip; charset=binary142.1 KB2011-12-02 17:550
ac.soton.compositionmodel.core.editor_0.0.1.201112021652.jarapplication/zip; charset=binary65.7 KB2011-12-02 17:550
ac.soton.compositionmodel.persistence_0.0.1.201112021652.jarapplication/zip; charset=binary12.7 KB2011-12-02 17:550
ac.soton.compositionmodel.core.edit_0.0.1.201112021652.jarapplication/zip; charset=binary27.2 KB2011-12-02 17:550
ac.soton.compositionmodel.core_0.0.1.201112021652.jarapplication/zip; charset=binary31.6 KB2011-12-02 17:550
org.eventb.codegen.feature_0.2.0.201112021652.jarapplication/zip; charset=binary11.9 KB2011-12-02 17:550
Plugin_GenericInstantiation
0.2.2
ch.ethz.eventb.inst.ui_0.3.1.jarapplication/zip; charset=binary71.4 KB2012-05-11 16:460
ch.ethz.eventb.inst_0.2.2.jarapplication/zip; charset=binary76.3 KB2012-05-11 16:460
ch.ethz.eventb.inst_feature_0.2.2.jarapplication/zip; charset=binary11.1 KB2012-05-11 16:460
ch.ethz.eventb.inst_0.2.2.zipapplication/zip; charset=binary678.4 KB2012-05-11 16:460
0.2.1
ch.ethz.eventb.inst.ui_0.3.0.201107160829.jarapplication/zip; charset=binary69.0 KB2011-07-16 09:180
ch.ethz.eventb.inst_0.2.1.201107160829.jarapplication/zip; charset=binary76.3 KB2011-07-16 09:000
ch.ethz.eventb.inst_feature_0.2.1.201107160829.jarapplication/zip; charset=binary11.1 KB2011-07-16 09:000
ch.ethz.eventb.inst_0.2.1.zipapplication/zip; charset=binary196.2 KB2011-07-16 09:000
0.2.0
ch.ethz.eventb.inst.ui_0.3.0.201107141224.jarapplication/zip; charset=binary69.0 KB2011-07-14 12:260
ch.ethz.eventb.inst_0.2.0.201107141224.jarapplication/zip; charset=binary75.9 KB2011-07-14 12:260
ch.ethz.eventb.inst_feature_0.2.0.201107141224.jarapplication/zip; charset=binary11.1 KB2011-07-14 12:260
ch.ethz.eventb.inst_0.2.0.zipapplication/zip; charset=binary195.8 KB2011-07-14 12:260
Plugin_Theory
1.3.2
org.eventb.theory.rbp_1.3.2.jarapplication/zip; charset=binary119.8 KB2012-04-20 15:300
org.eventb.theory.ui_1.3.2.jarapplication/zip; charset=binary190.8 KB2012-04-20 15:300
org.eventb.theory.core_1.3.2.jarapplication/zip; charset=binary383.1 KB2012-04-20 15:300
org.eventb.theory.help_1.1.1.jarapplication/zip; charset=binary497.3 KB2012-04-20 15:300
org.eventb.core.pm_1.3.2.jarapplication/zip; charset=binary69.3 KB2012-04-20 15:300
org.eventb.theory.feature_1.3.2.jarapplication/zip; charset=binary6.0 KB2012-04-20 15:300
1.3.1
org.eventb.theory.rbp_1.3.1.jarapplication/zip; charset=binary119.8 KB2012-02-24 16:420
org.eventb.theory.ui_1.3.1.jarapplication/zip; charset=binary190.8 KB2012-02-24 16:420
org.eventb.core.pm_1.3.1.jarapplication/zip; charset=binary69.3 KB2012-02-24 16:421
org.eventb.theory.core_1.3.1.jarapplication/zip; charset=binary383.1 KB2012-02-24 16:420
org.eventb.theory.feature_1.3.1.jarapplication/zip; charset=binary6.0 KB2012-02-24 16:420
1.3
org.eventb.theory.core_1.3.0.jarapplication/zip; charset=binary378.0 KB2011-11-29 23:470
org.eventb.theory.feature_1.3.0.jarapplication/zip; charset=binary6.0 KB2011-11-24 17:440
org.eventb.theory.rbp_1.3.0.jarapplication/zip; charset=binary119.8 KB2011-11-24 17:440
org.eventb.theory.ui_1.3.0.jarapplication/zip; charset=binary200.7 KB2011-11-24 17:440
org.eventb.core.pm_1.3.0.jarapplication/zip; charset=binary69.3 KB2011-11-24 17:440
1.2
org.eventb.theory.ui_1.2.0.jarapplication/zip; charset=binary194.7 KB2011-08-15 17:470
org.eventb.theory.core_1.2.0.jarapplication/zip; charset=binary378.7 KB2011-08-15 17:470
org.eventb.theory.feature_1.2.0.jarapplication/zip; charset=binary6.0 KB2011-08-15 17:470
org.eventb.theory.rbp_1.2.0.jarapplication/zip; charset=binary119.8 KB2011-08-15 17:470
org.eventb.core.pm_1.2.0.jarapplication/zip; charset=binary69.3 KB2011-08-15 17:471
1.1
org.eventb.theory.ui_1.1.0.jarapplication/zip; charset=binary187.7 KB2011-08-06 17:120
org.eventb.theory.rbp_1.1.0.jarapplication/zip; charset=binary114.9 KB2011-08-06 17:120
org.eventb.theory.help_1.1.0.jarapplication/zip; charset=binary497.3 KB2011-08-06 17:120
org.eventb.theory.core_1.1.0.jarapplication/zip; charset=binary378.8 KB2011-08-06 17:120
org.eventb.core.pm_1.1.0.jarapplication/zip; charset=binary69.3 KB2011-08-06 17:120
org.eventb.theory.feature_1.1.0.jarapplication/zip; charset=binary6.0 KB2011-08-06 17:120
1.0
org.eventb.theory.rbp_1.0.0.jarapplication/zip; charset=binary115.4 KB2011-07-17 21:510
theory-src.1.0.zipapplication/zip; charset=binary1.0 MB2011-07-17 20:330
org.eventb.theory.ui_1.0.0.jarapplication/zip; charset=binary182.7 KB2011-07-08 19:530
org.eventb.theory.help_1.0.0.jarapplication/zip; charset=binary497.3 KB2011-07-08 19:470
org.eventb.theory.core_1.0.0.jarapplication/zip; charset=binary376.6 KB2011-07-08 19:470
org.eventb.core.pm_1.0.0.jarapplication/zip; charset=binary69.1 KB2011-07-08 19:470
org.eventb.theory.feature_1.0.0.jarapplication/zip; charset=binary6.0 KB2011-07-08 19:460
1.0.1
org.eventb.theory.feature_1.0.1.jarapplication/zip; charset=binary6.0 KB2011-07-17 21:240
org.eventb.core.pm_1.0.1.jarapplication/zip; charset=binary69.2 KB2011-07-17 21:241
0.8
org.eventb.theory.feature_0.8.0.jarapplication/zip; charset=binary6.0 KB2011-05-22 15:000