RODIN Svn

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

Svn Commit Log

Commit	Date
[r16641] by mbjasser	2015-11-25 03:38:28	Tree
[r16640] by mbjasser	2015-11-25 03:37:22	Tree
[r16639] by mbjasser Remove for now for the aim of migrating to the new Eclipse and EMF versions. In addition, the new modified version will be moved to GIT repository	2015-11-25 02:58:34	Tree
[r16638] by mbjasser	2015-11-25 02:28:32	Tree
[r16637] by mbjasser	2015-11-24 13:34:35	Tree
[r16636] by lvoisin Move Theory plug-in to Git Close all branches and trunk directories related to the Theory plug-in as they are now in Git. This will prevent committing in them instead of the new Git repository. The tags directories have not been removed, as they might be needed to reconstruct an old version of the plug-in. They are mostly read-only anyway.	2015-11-05 22:26:12	Tree
[r16635] by mbjasser Shared Variable Decomposition Support For UML-B. This folder includes the necessary UML-B meta-model, EMF and GMF extensions to support UMLB shared variable decomposition which is based on Event-B shared variable decomposition. This folder also has the necessary modification for u2b translator to generate Event-B model for shared variable UML-B elements.	2015-11-04 03:08:47	Tree
[r16634] by mbjasser Shared Variable Decomposition Support For UML-B. This folder includes the necessary UML-B meta-model, EMF and GMF extensions to support UMLB shared variable decomposition which is based on Event-B shared variable decomposition. This folder also has the necessary modification for u2b translator to generate Event-B model for shared variable UML-B elements.	2015-11-04 02:56:00	Tree
[r16633] by mbjasser Shared Variable Decomposition Support For UML-B.	2015-11-04 02:48:30	Tree
[r16632] by tshoang Published Event-B Utils 0.2.2	2015-10-27 15:48:06	Tree

Older >