Grigorii Kirgizov 7242e832b1 Upd mps.logic lang version		2019-09-11 13:24:02 +03:00
..
jetbrains.mps.lang.coderules	Add few utilities and extend logic of subtypePaths for LUB impl	2019-09-11 13:24:01 +03:00
jetbrains.mps.lang.controlflow	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.lang.smodel.types	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.lang.typechecking	Make sure the "annotation" lang has a types aspect.	2019-09-05 18:53:52 +02:00
jetbrains.mps.logic	Upd mps.logic lang version	2019-09-11 13:24:02 +03:00
jetbrains.mps.typechecking.annotation	Make sure the "annotation" lang has a types aspect.	2019-09-05 18:53:52 +02:00
jetbrains.mps.typechecking.testlang	Remove dependencies on samples.baseLanguageExt and samples.lambdacalc from tests, fix build. Rebase onto master.	2019-08-22 15:16:18 +02:00