Fedor Isakov 7e3131a697 Supporting logical variables of different types (currently only TreeLogical and StringLogical)		2015-03-13 14:45:04 +01:00
..
jetbrains.mps.type.sandbox	Removing instances of obsolete code, cleaning up the model checker issues	2015-03-11 13:35:10 +01:00
jetbrains.mps.type.sandbox.runner	Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint	2015-03-11 12:26:57 +01:00
jetbrains.mps.type.solver	Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint	2015-03-11 12:26:57 +01:00
jetbrains.mps.typechecking.handling	Supporting logical variables of different types (currently only TreeLogical and StringLogical)	2015-03-13 14:45:04 +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	Removing instances of obsolete code, cleaning up the model checker issues	2015-03-11 13:35:10 +01:00
jetbrains.mps.unification.tree	Supporting logical variables of different types (currently only TreeLogical and StringLogical)	2015-03-13 14:45:04 +01:00