Create way to export Event-B files for ProB 2.0
Description
Environment
Gliffy Diagrams
Activity

Sebastian Krings January 22, 2014 at 8:22 AM

Joy Clark November 13, 2013 at 3:59 PM
This issue isn't necessary any more is it? With the Event-B Translator, we no longer need to export files for ProB 2.0. We can just export the Rodin project.

Jenkins Build Server April 9, 2013 at 3:07 PM
Integrated in
ProB_eclipse_develop #871
Deleted old unnecessary model objects (Revision 7a61c13deff76696ef5f496bf949e629c0cb9f3c)
Result = SUCCESS
joyclark2004 :
Files :
de.prob.core/META-INF/MANIFEST.MF
de.prob.core/src/de/prob/model/eventb/Model.java
de.prob.core/src/de/prob/model/representation/RefType.java
de.prob.core/src/de/prob/model/eventb/EBMachine.java
de.prob.core/.classpath
de.prob.core/src/de/prob/model/eventb/EBEvent.java
de.prob.core/src/de/prob/model/representation/IEntity.java
de.prob.core/src/de/prob/model/representation/Label.java
de.prob.core/src/de/prob/model/eventb/Action.java
de.prob.core/src/de/prob/model/eventb/EventB.java
de.prob.core/src/de/prob/model/eventb/EBContext.java
de.prob.core/src/de/prob/model/representation/FormulaUUID.java
de.prob.core/src/de/prob/model/eventb/Relationship.java
Details
Details
Assignee

Reporter

not necessary any more