Fedor Isakov fe27d40d4b Typechecking templates: drop "final" features, use the prototype term feature.		2017-11-12 16:45:32 +01:00
..
jetbrains.mps.baseLanguageExt	Typechecking templates: drop "final" features, use the prototype term feature.	2017-11-12 16:45:32 +01:00
jetbrains.mps.typechecking.annotation	Switch to MPS 172 latest RC build. Fix a couple of parent-invariant violations in the type system, remove obsolete intention.	2017-07-19 16:22:59 +02:00