Fedor Isakov 020d625940 Support for local variables in rule's body. Minor fixes. ... Updated the args4j library		2014-07-28 10:58:02 +02:00
.mps	SModel isomorphic structure on top of unification tree	2014-07-13 15:00:04 +02:00
languages	Support for local variables in rule's body. Minor fixes.	2014-07-28 10:58:02 +02:00
solutions/jetbrains.mps.unification	Adopted the latest changes in submodule, fixed the modelchecker errors	2014-07-21 16:26:57 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Initial import	2014-07-03 15:02:07 +02:00
.gitmodules	Submodule for the unification algo	2014-07-03 19:12:40 +02:00