RODIN - Browse /Plugin_EventB EMF Support For Diagrams/3.2.1 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.diagrams.navigator_1.3.1.r15757.jar	2013-07-01	30.1 kB	0
readme.txt	2013-07-01	157 Bytes	0
ac.soton.eventb.emf.diagrams.feature_3.2.1.r15759.jar	2013-07-01	12.3 kB	0
Totals: 3 Items		42.6 kB	0

3.2.1 - Workaround for Rodin builder problem:
	navigator (1.3.1) - 	Temporary Workaround to stop Rodin builder problems
				Early startup for Rodin listener

Source: readme.txt, updated 2013-07-01

Other Useful Business Software

Rezku Point of Sale

Designed for Real-World Restaurant Operations

Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.

Learn More

Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

Lock Down Any Resource, Anywhere, Anytime

CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.

Learn More

Rezku Point of Sale

Designed for Real-World Restaurant Operations

Learn More

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs

RODIN Files

Get an email when there's a new version of RODIN