Fedor Isakov bdd3530b89 Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.		2015-02-26 15:55:35 +01:00
..
jetbrains.mps.type.sandbox	Removed instances of an obsolete concept to be removed	2015-02-26 15:53:48 +01:00
jetbrains.mps.type.sandbox.runner	Removed instances of an obsolete concept to be removed	2015-02-26 15:53:48 +01:00
jetbrains.mps.type.solver	Removed instances of an obsolete concept to be removed	2015-02-26 15:53:48 +01:00
jetbrains.mps.typechecking.handling	Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.	2015-02-26 15:55:35 +01:00
jetbrains.mps.typechecking.rules	Refactored out RuleInputSpecification to support rule templates without the input	2015-02-02 14:38:45 +01:00
jetbrains.mps.typechecking.solving	Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags	2015-02-17 17:34:22 +01:00
jetbrains.mps.unification.tree	Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.	2015-02-26 15:55:35 +01:00