Fedor Isakov 3a8a397299 Typechecking templates: simplifying the code, trying to unify the ways type variables are processed		2015-11-18 15:52:09 +01:00
..
jetbrains.mps.jchr	Upgraded to the latest MPS build (to be announced as EAP4)	2015-10-28 11:57:07 +01:00
jetbrains.mps.lang.typesystem2	Typechecking templates: simplifying the code, trying to unify the ways type variables are processed	2015-11-18 15:52:09 +01:00
jetbrains.mps.logic	Drop the logical variable index starting from 1 instead of 0. Now they are treated exactly like Java arrays	2015-11-18 13:22:44 +01:00
jetbrains.mps.typechecking.annotation	Auto-magical update after moving to the latest build	2015-11-12 15:14:34 +01:00