New Releases of RODIN

Sat, 25 May 2013 03:07:40 GMT Releases headline of RODIN(rodin-b-sharp) @ SourceForge.JP http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/ New Releases of RODIN ja-jp Wed, 15 May 2013 09:12:56 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/ac.soton.eventb.statemachines.transformation_1.5.0.r15631.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178282 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178282 Wed, 15 May 2013 09:12:55 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/ac.soton.eventb.statemachines.navigator_1.2.1.r15631.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178281 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178281 Wed, 15 May 2013 09:12:54 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/ac.soton.eventb.statemachines.diagram_1.3.1.r15631.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178279 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178279 Wed, 15 May 2013 09:12:53 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/ac.soton.eventb.statemachines_1.2.1.r15631.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178283 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178283 Wed, 15 May 2013 09:12:53 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178289 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178289 Wed, 15 May 2013 09:12:51 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.5.0/ac.soton.eventb.statemachines.feature_1.5.0.r15631.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178280 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178280 Wed, 15 May 2013 09:10:34 GMT - /Plugin_EventB EMF Support For Diagrams/3.2.0/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178287 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178287 Wed, 15 May 2013 09:10:33 GMT - /Plugin_EventB EMF Support For Diagrams/3.2.0/ac.soton.eventb.emf.diagrams.navigator_1.3.0.r15620.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178278 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178278 Wed, 15 May 2013 09:10:32 GMT - /Plugin_EventB EMF Support For Diagrams/3.2.0/ac.soton.eventb.emf.diagrams.feature_3.2.0.r15620.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178277 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178277 Wed, 15 May 2013 09:07:11 GMT - /Plugin_EventB EMF Support For Extensions/2.1.0/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178288 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178288 Wed, 15 May 2013 09:06:06 GMT - /Plugin_EventB EMF Support For Extensions/2.1.0/ac.soton.eventb.emf.core.extension.persistence_1.2.0.r15619.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178275 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178275 Wed, 15 May 2013 09:06:05 GMT - /Plugin_EventB EMF Support For Extensions/2.1.0/ac.soton.eventb.emf.core.extension.feature_2.1.0.r15619.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178274 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178274 Wed, 15 May 2013 09:06:05 GMT - /Plugin_EventB EMF Support For Extensions/2.1.0/ac.soton.eventb.emf.core.extension_2.1.0.r15619.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178276 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178276 Wed, 15 May 2013 09:03:43 GMT - /Plugin_ Event-B EMF Framework/3.7.2/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178286 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178286 Wed, 15 May 2013 08:59:14 GMT - /Plugin_ Event-B EMF Framework/3.7.2/org.eventb.emf.persistence_2.4.2.r15612.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178285 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178285 Wed, 15 May 2013 08:59:10 GMT - /Plugin_ Event-B EMF Framework/3.7.2/org.eventb.emf.feature_3.7.2.r16512.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178284 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5178284 Tue, 07 May 2013 09:50:54 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1.r365721c-sources.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168982 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168982 Tue, 07 May 2013 09:50:49 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-win32.win32.x86_64.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168981 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168981 Tue, 07 May 2013 09:50:24 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-win32.win32.x86.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168980 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168980 Tue, 07 May 2013 09:49:58 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-repo.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168979 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168979 Tue, 07 May 2013 09:49:35 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-macosx.cocoa.x86_64.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168978 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168978 Tue, 07 May 2013 09:49:14 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-linux.gtk.x86_64.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168977 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168977 Tue, 07 May 2013 09:48:56 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-linux.gtk.x86.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168976 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168976 Tue, 07 May 2013 09:48:34 GMT - /Core_Rodin_Platform/2.8RC1/rodin-2.8RC1-dev.zip http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168975 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5168975 Sat, 16 Mar 2013 04:01:49 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046408 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046408 Sat, 16 Mar 2013 03:59:30 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/ac.soton.eventb.statemachines.transformation_1.4.0.r15530.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046393 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046393 Sat, 16 Mar 2013 03:59:29 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/ac.soton.eventb.statemachines.diagram_1.3.0.r15530.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046390 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046390 Sat, 16 Mar 2013 03:59:29 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/ac.soton.eventb.statemachines.edit_1.2.0.r15530.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046391 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046391 Sat, 16 Mar 2013 03:59:28 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/ac.soton.eventb.statemachines_1.2.0.r15530.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046394 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046394 Sat, 16 Mar 2013 03:59:27 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.4.0/ac.soton.eventb.statemachines.feature_1.4.0.r15530.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046392 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046392 Fri, 15 Mar 2013 14:29:55 GMT - /Plugin_ Event-B EMF Framework/3.7.1/readme.txt http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046407 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046407 Fri, 15 Mar 2013 14:26:09 GMT - /Plugin_ Event-B EMF Framework/3.7.1/org.eventb.emf.formulas_1.3.1.r15527.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046405 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046405 Fri, 15 Mar 2013 14:26:09 GMT - /Plugin_ Event-B EMF Framework/3.7.1/org.eventb.emf.persistence_2.4.1.r15527.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046406 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046406 Fri, 15 Mar 2013 14:26:08 GMT - /Plugin_ Event-B EMF Framework/3.7.1/org.eventb.emf.core_2.2.5.r15527.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046403 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046403 Fri, 15 Mar 2013 14:26:07 GMT - /Plugin_ Event-B EMF Framework/3.7.1/org.eventb.emf.compare_1.4.2.r15527.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046402 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046402 Fri, 15 Mar 2013 14:26:06 GMT - /Plugin_ Event-B EMF Framework/3.7.1/org.eventb.emf.feature_3.7.1.r15527.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046404 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046404 Tue, 05 Mar 2013 08:33:37 GMT - /Plugin_Generic_Instantiation/1.0.1/ac.soton.genericInstantiation.ui_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046396 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046396 Tue, 05 Mar 2013 08:33:36 GMT - /Plugin_Generic_Instantiation/1.0.1/ac.soton.genericinstantiation.core_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046397 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046397 Tue, 05 Mar 2013 08:32:48 GMT - /Plugin_Generic_Instantiation/1.0.1/ac.soton.genericInstantiation.feature_1.0.1.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046395 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046395 Fri, 15 Feb 2013 06:53:50 GMT - /Plugin_Decomposition/1.2.6/ch.ethz.eventb.decomposition_feature_1.2.6.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046401 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046401 Fri, 15 Feb 2013 06:53:49 GMT - /Plugin_Decomposition/1.2.6/ch.ethz.eventb.decomposition.ui_1.2.6.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046399 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046399 Fri, 15 Feb 2013 06:53:48 GMT - /Plugin_Decomposition/1.2.6/ch.ethz.eventb.decomposition.core_1.2.6.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046398 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046398 Fri, 15 Feb 2013 06:53:46 GMT - /Plugin_Decomposition/1.2.6/ch.ethz.eventb.decomposition_1.2.6.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046400 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=5046400 Fri, 25 Jan 2013 02:07:59 GMT - /Doc_Rodin_General/Rodin_Leaflets/Leaflet_Rodin_E.pdf http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4920699 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4920699 Sat, 19 Jan 2013 08:48:34 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.1/ac.soton.eventb.statemachines.transformation_1.3.1.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909721 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909721 Sat, 19 Jan 2013 08:48:33 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.1/ac.soton.eventb.statemachines.feature_1.3.1.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909717 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909717 Sat, 19 Jan 2013 08:46:48 GMT - /Plugin_EventB EMF Support For Diagrams/3.1.0/ac.soton.eventb.emf.diagrams.navigator_1.2.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909710 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909710 Sat, 19 Jan 2013 08:46:47 GMT - /Plugin_EventB EMF Support For Diagrams/3.1.0/ac.soton.eventb.emf.diagrams.feature_3.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909706 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909706 Sat, 19 Jan 2013 08:46:47 GMT - /Plugin_EventB EMF Support For Diagrams/3.1.0/ac.soton.eventb.emf.diagrams.generator_3.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909708 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909708 Wed, 16 Jan 2013 11:11:44 GMT - /Plugin_iUML-B/iUMLB State-Machines Animation/1.2.0/ac.soton.eventb.statemachines.animation_1.2.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909713 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909713 Wed, 16 Jan 2013 11:11:43 GMT - /Plugin_iUML-B/iUMLB State-Machines Animation/1.2.0/ac.soton.eventb.statemachines.animation.feature_1.2.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909712 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909712 Wed, 16 Jan 2013 11:09:48 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.persistence_1.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909719 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909719 Wed, 16 Jan 2013 11:09:48 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.transformation_1.3.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909720 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909720 Wed, 16 Jan 2013 11:09:47 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.navigator_1.2.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909718 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909718 Wed, 16 Jan 2013 11:09:46 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.edit_1.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909715 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909715 Wed, 16 Jan 2013 11:09:45 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.diagram_1.2.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909714 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909714 Wed, 16 Jan 2013 11:09:45 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines.feature_1.3.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909716 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909716 Wed, 16 Jan 2013 11:09:43 GMT - /Plugin_iUML-B/iUMLB State-Machines/1.3.0/ac.soton.eventb.statemachines_1.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909722 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909722 Wed, 16 Jan 2013 11:03:21 GMT - /Plugin_EventB EMF Support For Diagrams/3.0.0/ac.soton.eventb.emf.diagrams.navigator_1.1.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909709 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909709 Wed, 16 Jan 2013 11:03:20 GMT - /Plugin_EventB EMF Support For Diagrams/3.0.0/ac.soton.eventb.emf.diagrams.edit_1.0.3.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909704 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909704 Wed, 16 Jan 2013 11:03:20 GMT - /Plugin_EventB EMF Support For Diagrams/3.0.0/ac.soton.eventb.emf.diagrams.generator_3.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909707 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909707 Wed, 16 Jan 2013 11:03:19 GMT - /Plugin_EventB EMF Support For Diagrams/3.0.0/ac.soton.eventb.emf.diagrams_2.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909711 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909711 Wed, 16 Jan 2013 11:03:18 GMT - /Plugin_EventB EMF Support For Diagrams/3.0.0/ac.soton.eventb.emf.diagrams.feature_3.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909705 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909705 Wed, 16 Jan 2013 11:01:28 GMT - /Plugin_EventB EMF Support For Extensions/2.0.0/ac.soton.eventb.emf.core.extension.feature_2.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909700 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909700 Wed, 16 Jan 2013 11:01:28 GMT - /Plugin_EventB EMF Support For Extensions/2.0.0/ac.soton.eventb.emf.core.extension.persistence_1.1.1.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909702 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909702 Wed, 16 Jan 2013 11:01:27 GMT - /Plugin_EventB EMF Support For Extensions/2.0.0/ac.soton.eventb.emf.core.extension.navigator_2.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909701 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909701 Wed, 16 Jan 2013 11:01:27 GMT - /Plugin_EventB EMF Support For Extensions/2.0.0/ac.soton.eventb.emf.core.extension_2.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909703 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909703 Wed, 16 Jan 2013 10:57:22 GMT - /Plugin_iUML-B/ac.soton.iumlb.branding_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909723 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4909723 Wed, 09 Jan 2013 09:11:04 GMT - /Plugin_Generic_Instantiation/1.0.0/ac.ddorf.refactory.eventb_1.2.0.201301091658.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4896154 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4896154 Wed, 09 Jan 2013 09:02:15 GMT Plugin: Feature Composition - /Plugin_Generic_Instantiation/1.0.0/ac.soton.genericInstantiation.feature_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844710 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844710 Tue, 18 Dec 2012 07:50:41 GMT - /Plugin_ UML-B/2.2.1/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.3.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4860626 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4860626 Tue, 18 Dec 2012 07:50:39 GMT - /Plugin_ UML-B/2.2.1/ac.soton.umlb.feature_2.2.1.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4860625 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4860625 Fri, 14 Dec 2012 07:09:52 GMT Plugin: Feature Composition - /Plugin_Generic_Instantiation/1.0.0/ac.soton.genericInstantiation.ui_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844711 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844711 Fri, 14 Dec 2012 07:09:51 GMT Plugin: Feature Composition - /Plugin_Generic_Instantiation/1.0.0/ac.soton.genericinstantiation.core_1.0.0.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844712 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844712 Tue, 11 Dec 2012 06:30:35 GMT Doc: User Manual - /Plugin_Decomposition/1.2.5/ch.ethz.eventb.decomposition_1.2.5.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844715 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844715 Tue, 11 Dec 2012 06:30:34 GMT Doc: User Manual - /Plugin_Decomposition/1.2.5/ch.ethz.eventb.decomposition.ui_1.2.5.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844714 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844714 Tue, 11 Dec 2012 06:30:32 GMT Doc: Event B LaTeX style - /Plugin_Decomposition/1.2.5/ch.ethz.eventb.decomposition.core_1.2.5.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844713 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844713 Tue, 11 Dec 2012 06:30:29 GMT Doc: User Manual - /Plugin_Decomposition/1.2.5/ch.ethz.eventb.decomposition_feature_1.2.5.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844716 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4844716 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.ui_2.5.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794250 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794250 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.mortbay.jetty.server_6.1.23.v201012071420.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378117 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378117 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.mortbay.jetty.util_6.1.23.v201012071420.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378118 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378118 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.rodinp.core.emf_0.6.1.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794251 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794251 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.rodinp.core_1.6.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794252 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794252 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.rodinp.keyboard_1.1.2.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794253 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794253 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.rodinp.platform_2.7.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794261 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794261 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.rodinp_1.6.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794262 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794262 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.sat4j.core_2.3.0.v20110329.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378132 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378132 Tue, 06 Nov 2012 02:53:22 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.sat4j.pb_2.3.0.v20110329.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378133 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378133 Tue, 06 Nov 2012 02:53:20 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.pp_0.7.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794247 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794247 Tue, 06 Nov 2012 02:53:20 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.pptrans_0.7.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794248 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794248 Tue, 06 Nov 2012 02:53:20 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.ui.symboltable_1.2.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794249 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794249 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eclipse.update.core_3.2.500.v20110330.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378103 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378103 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eclipse.update.scheduler_3.2.300.v20100512.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378104 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378104 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eclipse.update.ui_3.2.300.v20100512.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378105 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4378105 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eventb.core.ast_2.7.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794240 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794240 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eventb.core.seqprover_2.6.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794241 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794241 Tue, 06 Nov 2012 02:53:19 GMT Core: Rodin Platform - /Core_Update_Site/plugins/org.eventb.core_2.5.1.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794242 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794242 Tue, 06 Nov 2012 02:53:19 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.ide_2.7.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794243 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794243 Tue, 06 Nov 2012 02:53:19 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.keyboard_1.0.0.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794245 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794245 Tue, 06 Nov 2012 02:53:19 GMT Core: Event-B Keyboard - /Core_Update_Site/plugins/org.eventb.pp.ui_0.2.1.r15250.jar http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794246 http://en.sourceforge.jp/projects/sfnet_rodin-b-sharp/releases/?file_id=4794246