Fedor Isakov 90b8f58143 Refactoring the code to use the updated API for processing constraints		2015-06-17 16:12:51 +02:00
..
jetbrains.mps.type.sandbox/classes_jchr	Removed obsolete solutions	2015-06-17 15:39:53 +02:00
jetbrains.mps.typechecking.handling	Refactoring the code to use the updated API for processing constraints	2015-06-17 16:12:51 +02:00
jetbrains.mps.typechecking.rules	Optimized module imports and added explict dependency on "core"	2015-06-09 13:29:01 +02:00
jetbrains.mps.unification.tree	Better processing of wildcard variables	2015-04-15 17:24:14 +02:00