diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl index 5d944cf2..e91892e2 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -29,7 +29,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps index 5dae52b2..c83a561b 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index 1833f74d..f98de67e 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -76,7 +76,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index a6214b82..1d761e52 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -2,7 +2,7 @@ - + @@ -107,9 +107,6 @@ - - - @@ -177,6 +174,7 @@ + @@ -354,18 +352,14 @@ - - - - + + - - - - + + @@ -488,10 +482,8 @@ - - - - + + @@ -510,10 +502,8 @@ - - - - + + @@ -593,10 +583,8 @@ - - - - + + @@ -615,10 +603,8 @@ - - - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index 1e2d369e..7f614950 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -45,7 +45,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 9df7be4f..efb3f959 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -12,7 +12,7 @@ - + @@ -203,9 +203,6 @@ - - - @@ -311,7 +308,7 @@ - + @@ -1041,18 +1038,14 @@ - - - - + + - - - - + + @@ -1163,18 +1156,14 @@ - - - - + + - - - - + + @@ -1295,18 +1284,14 @@ - - - - + + - - - - + + @@ -1427,18 +1412,14 @@ - - - - + + - - - - + + @@ -1552,18 +1533,14 @@ - - - - + + - - - - + + @@ -1691,18 +1668,14 @@ - - - - + + - - - - + + @@ -1723,18 +1696,14 @@ - - - - + + - - - - + + @@ -1851,18 +1820,14 @@ - - - - + + - - - - + + @@ -1972,18 +1937,14 @@ - - - - + + - - - - + + @@ -1998,10 +1959,8 @@ - - - - + + @@ -3145,18 +3104,14 @@ - - - - + + - - - - + + @@ -3233,18 +3188,14 @@ - - - - + + - - - - + + diff --git a/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl b/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl index 7fa946ef..600e93a2 100644 --- a/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl +++ b/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl @@ -71,7 +71,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 4c634418..d354f0f2 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -112,9 +112,6 @@ - - - @@ -214,7 +211,7 @@ - + @@ -357,18 +354,14 @@ - - - - + + - - - - + + @@ -473,18 +466,14 @@ - - - - + + - - - - + + @@ -1108,18 +1097,14 @@ - - - - + + - - - - + + @@ -1889,18 +1874,14 @@ - - - - + + - - - - + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl index 38baa232..74448cd8 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -78,7 +78,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index a2be9d46..4010e21c 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -162,9 +162,6 @@ - - - @@ -289,6 +286,7 @@ + @@ -432,18 +430,14 @@ - - - - + + - - - - + + @@ -516,18 +510,14 @@ - - - - + + - - - - + + @@ -635,10 +625,8 @@ - - - - + + @@ -836,10 +824,8 @@ - - - - + + @@ -1130,18 +1116,14 @@ - - - - + + - - - - + + @@ -1787,18 +1769,14 @@ - - - - + + - - - - + + @@ -2024,18 +2002,14 @@ - - - - + + - - - - + + @@ -2303,18 +2277,14 @@ - - - - + + - - - - + + @@ -2357,32 +2327,24 @@ - - - - + + - - - - - - - - - - + + + + + + - - - - - - - + + + + + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl index 2ac5fa20..68c330db 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -79,7 +79,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 976c1931..6d2657a6 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -87,16 +87,13 @@ + + + - - - - - - @@ -173,6 +170,7 @@ + @@ -412,10 +410,8 @@ - - - - + + @@ -535,10 +531,8 @@ - - - - + + @@ -614,10 +608,8 @@ - - - - + + @@ -687,18 +679,14 @@ - - - - + + - - - - + + @@ -771,18 +759,14 @@ - - - - + + - - - - + + @@ -1236,8 +1220,8 @@ - - + + @@ -1450,8 +1434,8 @@ - - + + @@ -1621,8 +1605,8 @@ - - + + @@ -1771,8 +1755,8 @@ - - + + @@ -1934,8 +1918,8 @@ - - + + @@ -2079,8 +2063,8 @@ - - + + @@ -2211,18 +2195,14 @@ - - - - + + - - - - + + @@ -2260,18 +2240,14 @@ - - - - + + - - - - + + @@ -2309,8 +2285,8 @@ - - + + @@ -2529,18 +2505,14 @@ - - - - + + - - - - + + @@ -2578,18 +2550,14 @@ - - - - + + - - - - + + @@ -2627,8 +2595,8 @@ - - + + @@ -2834,10 +2802,8 @@ - - - - + + @@ -2859,18 +2825,14 @@ - - - - + + - - - - + + @@ -2903,24 +2865,18 @@ - - - - + + - - - - - - - - - - + + + + + + @@ -3079,10 +3035,8 @@ - - - - + + @@ -3104,24 +3058,18 @@ - - - - + + - - - - - - - - - - + + + + + + @@ -3156,18 +3104,14 @@ - - - - + + - - - - + + @@ -3337,16 +3281,12 @@ - - - - - - - - - - + + + + + + @@ -3485,18 +3425,14 @@ - - - - + + - - - - + + @@ -3746,18 +3682,14 @@ - - - - + + - - - - + + @@ -3977,18 +3909,14 @@ - - - - + + - - - - + + @@ -4177,18 +4105,14 @@ - - - - + + - - - - + + @@ -4226,18 +4150,14 @@ - - - - + + - - - - + + @@ -4275,18 +4195,14 @@ - - - - + + - - - - + + @@ -4438,18 +4354,14 @@ - - - - + + - - - - + + @@ -4487,18 +4399,14 @@ - - - - + + - - - - + + @@ -4536,18 +4444,14 @@ - - - - + + - - - - + + @@ -4644,18 +4548,14 @@ - - - - + + - - - - + + @@ -4678,18 +4578,14 @@ - - - - + + - - - - + + @@ -4824,18 +4720,14 @@ - - - - + + - - - - + + @@ -4858,18 +4750,14 @@ - - - - + + - - - - + + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl index ce8ac69c..951c3e06 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -77,7 +77,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 87940b0a..b70f2875 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 9e6a286e..ec92aa26 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -77,7 +77,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 56066f80..a2378f05 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -2,7 +2,7 @@ - + @@ -213,9 +213,6 @@ - - - @@ -396,6 +393,7 @@ + @@ -893,18 +891,14 @@ - - - - + + - - - - + + @@ -1437,18 +1431,14 @@ - - - - + + - - - - + + @@ -1795,18 +1785,14 @@ - - - - + + - - - - + + @@ -1930,18 +1916,14 @@ - - - - + + - - - - + + @@ -2225,18 +2207,14 @@ - - - - + + - - - - + + @@ -2251,34 +2229,26 @@ - - - - - - - - - - + + + + + + - - - - - - - + + + + + - - - - + + @@ -2464,18 +2434,14 @@ - - - - + + - - - - + + @@ -3428,10 +3394,8 @@ - - - - + + @@ -3863,18 +3827,14 @@ - - - - + + - - - - + + @@ -4024,18 +3984,14 @@ - - - - + + - - - - + + @@ -4179,18 +4135,14 @@ - - - - + + - - - - + + @@ -4386,18 +4338,14 @@ - - - - + + - - - - + + @@ -4712,18 +4660,14 @@ - - - - + + - - - - + + @@ -5180,18 +5124,14 @@ - - - - + + - - - - + + @@ -5384,10 +5324,8 @@ - - - - + + @@ -5421,18 +5359,14 @@ - - - - + + - - - - + + @@ -5511,18 +5445,14 @@ - - - - + + - - - - + + @@ -5820,18 +5750,14 @@ - - - - + + - - - - + + @@ -5893,18 +5819,14 @@ - - - - + + - - - - + + @@ -6078,18 +6000,14 @@ - - - - + + - - - - + + @@ -6172,18 +6090,14 @@ - - - - + + - - - - + + @@ -6434,18 +6348,14 @@ - - - - + + - - - - + + @@ -6578,10 +6488,8 @@ - - - - + + @@ -6732,18 +6640,14 @@ - - - - + + - - - - + + @@ -7011,18 +6915,14 @@ - - - - + + - - - - + + @@ -7035,18 +6935,14 @@ - - - - + + - - - - + + @@ -7112,10 +7008,8 @@ - - - - + + @@ -7216,18 +7110,14 @@ - - - - + + - - - - + + @@ -7240,18 +7130,14 @@ - - - - + + - - - - + + @@ -7296,10 +7182,8 @@ - - - - + + @@ -7487,18 +7371,14 @@ - - - - + + - - - - + + @@ -7511,18 +7391,14 @@ - - - - + + - - - - + + @@ -7663,18 +7539,14 @@ - - - - + + - - - - + + @@ -7687,18 +7559,14 @@ - - - - + + - - - - + + @@ -7764,10 +7632,8 @@ - - - - + + @@ -7859,18 +7725,14 @@ - - - - + + - - - - + + @@ -7976,18 +7838,14 @@ - - - - + + - - - - + + @@ -8106,18 +7964,14 @@ - - - - + + - - - - + + @@ -8130,18 +7984,14 @@ - - - - + + - - - - + + @@ -8224,18 +8074,14 @@ - - - - + + - - - - + + @@ -8248,18 +8094,14 @@ - - - - + + - - - - + + @@ -8441,10 +8283,8 @@ - - - - + + @@ -8452,10 +8292,8 @@ - - - - + + @@ -10566,18 +10404,14 @@ - - - - + + - - - - + + @@ -10600,18 +10434,14 @@ - - - - + + - - - - + + @@ -10686,18 +10516,14 @@ - - - - + + - - - - + + @@ -10933,10 +10759,8 @@ - - - - + + @@ -10989,18 +10813,14 @@ - - - - + + - - - - + + @@ -11358,18 +11178,14 @@ - - - - + + - - - - + + @@ -13323,10 +13139,8 @@ - - - - + + @@ -13817,18 +13631,14 @@ - - - - + + - - - - + + @@ -14328,18 +14138,14 @@ - - - - + + - - - - + + @@ -14407,18 +14213,14 @@ - - - - + + - - - - + + @@ -14551,18 +14353,14 @@ - - - - + + - - - - + + @@ -14726,18 +14524,14 @@ - - - - + + - - - - + + @@ -14810,18 +14604,14 @@ - - - - + + - - - - + + @@ -14939,10 +14729,8 @@ - - - - + + @@ -15564,18 +15352,14 @@ - - - - + + - - - - + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 36666110..0b0eb684 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -39,7 +39,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl index 383473eb..158fd701 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl @@ -67,7 +67,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl index 7f33aab1..2a35276e 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl @@ -78,7 +78,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps index 3d144bd2..87f537bb 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps @@ -3,7 +3,7 @@ - + @@ -125,9 +125,6 @@ - - - @@ -202,6 +199,7 @@ + @@ -1377,10 +1375,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl index d3effc86..3ef2cc43 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl @@ -82,7 +82,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index 5519acdd..e6f5650f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -3,7 +3,7 @@ - + @@ -254,11 +254,8 @@ - - - - - + + @@ -448,6 +445,7 @@ + @@ -666,18 +664,14 @@ - - - - + + - - - - + + @@ -1590,18 +1584,14 @@ - - - - + + - - - - + + @@ -1704,10 +1694,8 @@ - - - - + + @@ -1743,10 +1731,8 @@ - - - - + + @@ -1844,10 +1830,8 @@ - - - - + + @@ -2421,10 +2405,8 @@ - - - - + + @@ -2990,18 +2972,14 @@ - - - - + + - - - - + + @@ -4364,10 +4342,8 @@ - - - - + + @@ -4560,10 +4536,8 @@ - - - - + + @@ -4826,10 +4800,8 @@ - - - - + + @@ -4958,18 +4930,14 @@ - - - - + + - - - - + + @@ -4982,10 +4950,8 @@ - - - - + + @@ -5306,10 +5272,8 @@ - - - - + + @@ -5655,10 +5619,8 @@ - - - - + + @@ -5801,10 +5763,8 @@ - - - - + + @@ -6206,10 +6166,8 @@ - - - - + + @@ -6323,26 +6281,20 @@ - - - - + + - - - - + + - - - - + + @@ -6357,18 +6309,14 @@ - - - - + + - - - - + + @@ -15472,18 +15420,14 @@ - - - - + + - - - - + + @@ -15573,18 +15517,14 @@ - - - - + + - - - - + + @@ -15617,18 +15557,14 @@ - - - - + + - - - - + + @@ -15718,16 +15654,14 @@ - - - - + + - - + + @@ -15776,18 +15710,14 @@ - - - - + + - - - - + + @@ -15869,18 +15799,14 @@ - - - - + + - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl index fc93b5eb..7b4e0007 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl @@ -79,7 +79,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps index 7e3ee60f..8f0953bc 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps @@ -3,7 +3,7 @@ - + @@ -139,12 +139,6 @@ - - - - - - @@ -277,6 +271,7 @@ + @@ -522,10 +517,8 @@ - - - - + + @@ -623,10 +616,8 @@ - - - - + + @@ -715,10 +706,8 @@ - - - - + + @@ -807,10 +796,8 @@ - - - - + + @@ -902,10 +889,8 @@ - - - - + + @@ -997,10 +982,8 @@ - - - - + + @@ -1092,10 +1075,8 @@ - - - - + + @@ -1187,10 +1168,8 @@ - - - - + + @@ -1282,10 +1261,8 @@ - - - - + + @@ -1377,10 +1354,8 @@ - - - - + + @@ -1472,10 +1447,8 @@ - - - - + + @@ -1593,18 +1566,14 @@ - - - - + + - - - - + + @@ -1725,18 +1694,14 @@ - - - - + + - - - - + + @@ -1857,18 +1822,14 @@ - - - - + + - - - - + + @@ -1963,10 +1924,8 @@ - - - - + + @@ -2300,26 +2259,20 @@ - - - - + + - - - - + + - - - - + + @@ -2431,10 +2384,8 @@ - - - - + + @@ -2530,10 +2481,8 @@ - - - - + + @@ -2629,10 +2578,8 @@ - - - - + + @@ -2728,10 +2675,8 @@ - - - - + + @@ -2827,10 +2772,8 @@ - - - - + + @@ -2926,10 +2869,8 @@ - - - - + + @@ -3042,10 +2983,8 @@ - - - - + + @@ -3124,10 +3063,8 @@ - - - - + + @@ -3223,10 +3160,8 @@ - - - - + + @@ -3322,18 +3257,14 @@ - - - - + + - - - - + + @@ -3455,18 +3386,14 @@ - - - - + + - - - - + + @@ -3588,18 +3515,14 @@ - - - - + + - - - - + + @@ -3721,10 +3644,8 @@ - - - - + + @@ -3820,10 +3741,8 @@ - - - - + + @@ -3919,10 +3838,8 @@ - - - - + + @@ -4018,10 +3935,8 @@ - - - - + + @@ -4919,10 +4834,8 @@ - - - - + + @@ -4935,10 +4848,8 @@ - - - - + + @@ -5015,10 +4926,8 @@ - - - - + + @@ -5055,10 +4964,8 @@ - - - - + + @@ -5103,10 +5010,8 @@ - - - - + + @@ -5119,10 +5024,8 @@ - - - - + + @@ -5199,10 +5102,8 @@ - - - - + + @@ -5215,10 +5116,8 @@ - - - - + + @@ -5295,10 +5194,8 @@ - - - - + + @@ -5311,10 +5208,8 @@ - - - - + + @@ -5391,18 +5286,14 @@ - - - - + + - - - - + + @@ -5415,18 +5306,14 @@ - - - - + + - - - - + + @@ -5584,10 +5471,8 @@ - - - - + + @@ -5630,13 +5515,11 @@ - - - - - - - + + + + + @@ -5672,10 +5555,8 @@ - - - - + + @@ -5718,13 +5599,11 @@ - - - - - - - + + + + + @@ -5760,10 +5639,8 @@ - - - - + + @@ -5806,13 +5683,11 @@ - - - - - - - + + + + + @@ -5848,10 +5723,8 @@ - - - - + + @@ -5894,13 +5767,11 @@ - - - - - - - + + + + + @@ -5936,10 +5807,8 @@ - - - - + + @@ -5982,13 +5851,11 @@ - - - - - - - + + + + + @@ -6024,10 +5891,8 @@ - - - - + + @@ -6070,13 +5935,11 @@ - - - - - - - + + + + + @@ -6112,10 +5975,8 @@ - - - - + + @@ -6158,13 +6019,11 @@ - - - - - - - + + + + + @@ -6200,10 +6059,8 @@ - - - - + + @@ -6246,13 +6103,11 @@ - - - - - - - + + + + + @@ -6288,18 +6143,14 @@ - - - - + + - - - - + + @@ -6345,18 +6196,16 @@ - - - - - - - + + + + + - - - - + + + + @@ -6392,18 +6241,14 @@ - - - - + + - - - - + + @@ -6449,18 +6294,16 @@ - - - - - - - + + + + + - - - - + + + + @@ -6508,10 +6351,8 @@ - - - - + + @@ -6554,13 +6395,11 @@ - - - - - - - + + + + + @@ -6608,10 +6447,8 @@ - - - - + + @@ -6654,13 +6491,11 @@ - - - - - - - + + + + + @@ -6766,10 +6601,8 @@ - - - - + + @@ -6782,10 +6615,8 @@ - - - - + + @@ -6847,10 +6678,8 @@ - - - - + + @@ -6863,10 +6692,8 @@ - - - - + + @@ -6928,10 +6755,8 @@ - - - - + + @@ -6944,10 +6769,8 @@ - - - - + + @@ -7009,10 +6832,8 @@ - - - - + + @@ -7025,10 +6846,8 @@ - - - - + + @@ -7090,10 +6909,8 @@ - - - - + + @@ -7106,10 +6923,8 @@ - - - - + + @@ -7171,10 +6986,8 @@ - - - - + + @@ -7187,10 +7000,8 @@ - - - - + + @@ -7252,10 +7063,8 @@ - - - - + + @@ -7268,10 +7077,8 @@ - - - - + + @@ -7333,18 +7140,14 @@ - - - - + + - - - - + + @@ -7357,18 +7160,14 @@ - - - - + + - - - - + + @@ -7447,18 +7246,14 @@ - - - - + + - - - - + + @@ -7471,18 +7266,14 @@ - - - - + + - - - - + + @@ -7565,10 +7356,8 @@ - - - - + + @@ -7581,10 +7370,8 @@ - - - - + + @@ -7646,10 +7433,8 @@ - - - - + + @@ -7662,10 +7447,8 @@ - - - - + + @@ -7731,10 +7514,8 @@ - - - - + + @@ -7747,10 +7528,8 @@ - - - - + + @@ -7812,10 +7591,8 @@ - - - - + + @@ -7828,10 +7605,8 @@ - - - - + + @@ -7893,10 +7668,8 @@ - - - - + + @@ -7909,10 +7682,8 @@ - - - - + + @@ -7978,10 +7749,8 @@ - - - - + + @@ -8021,10 +7790,8 @@ - - - - + + @@ -8054,10 +7821,8 @@ - - - - + + @@ -8097,10 +7862,8 @@ - - - - + + @@ -8130,10 +7893,8 @@ - - - - + + @@ -8173,10 +7934,8 @@ - - - - + + @@ -8206,10 +7965,8 @@ - - - - + + @@ -8249,10 +8006,8 @@ - - - - + + @@ -8282,10 +8037,8 @@ - - - - + + @@ -8325,10 +8078,8 @@ - - - - + + @@ -8358,10 +8109,8 @@ - - - - + + @@ -8401,10 +8150,8 @@ - - - - + + @@ -8434,10 +8181,8 @@ - - - - + + @@ -8477,10 +8222,8 @@ - - - - + + @@ -8510,18 +8253,14 @@ - - - - + + - - - - + + @@ -8567,18 +8306,14 @@ - - - - + + - - - - + + @@ -8608,18 +8343,14 @@ - - - - + + - - - - + + @@ -8673,18 +8404,14 @@ - - - - + + - - - - + + @@ -8697,10 +8424,8 @@ - - - - + + @@ -8735,10 +8460,8 @@ - - - - + + @@ -8751,10 +8474,8 @@ - - - - + + @@ -8820,10 +8541,8 @@ - - - - + + @@ -8836,10 +8555,8 @@ - - - - + + @@ -8879,10 +8596,8 @@ - - - - + + @@ -9426,18 +9141,14 @@ - - - - + + - - - - + + @@ -9638,10 +9349,8 @@ - - - - + + @@ -9939,10 +9648,8 @@ - - - - + + @@ -9958,18 +9665,16 @@ - - - - - - - + + + + + - - - - + + + + @@ -9977,10 +9682,8 @@ - - - - + + @@ -11280,10 +10983,8 @@ - - - - + + @@ -11365,10 +11066,8 @@ - - - - + + @@ -11405,10 +11104,8 @@ - - - - + + @@ -11426,10 +11123,8 @@ - - - - + + @@ -11451,10 +11146,8 @@ - - - - + + @@ -11472,10 +11165,8 @@ - - - - + + @@ -11542,10 +11233,8 @@ - - - - + + @@ -12341,10 +12030,8 @@ - - - - + + @@ -12426,10 +12113,8 @@ - - - - + + @@ -12511,10 +12196,8 @@ - - - - + + @@ -12596,10 +12279,8 @@ - - - - + + @@ -12724,10 +12405,8 @@ - - - - + + @@ -12877,10 +12556,8 @@ - - - - + + @@ -13030,10 +12707,8 @@ - - - - + + @@ -14854,10 +14529,8 @@ - - - - + + @@ -14872,10 +14545,8 @@ - - - - + + @@ -15030,10 +14701,8 @@ - - - - + + @@ -15066,10 +14735,8 @@ - - - - + + @@ -15143,10 +14810,8 @@ - - - - + + @@ -15299,10 +14964,8 @@ - - - - + + @@ -15528,10 +15191,8 @@ - - - - + + @@ -15692,10 +15353,8 @@ - - - - + + @@ -16073,10 +15732,8 @@ - - - - + + @@ -16153,10 +15810,8 @@ - - - - + + @@ -17340,10 +16995,8 @@ - - - - + + @@ -17426,10 +17079,8 @@ - - - - + + @@ -17608,10 +17259,8 @@ - - - - + + @@ -17823,10 +17472,8 @@ - - - - + + @@ -18015,10 +17662,8 @@ - - - - + + @@ -18103,10 +17748,8 @@ - - - - + + @@ -18191,10 +17834,8 @@ - - - - + + @@ -18279,10 +17920,8 @@ - - - - + + @@ -18367,10 +18006,8 @@ - - - - + + @@ -20156,10 +19793,8 @@ - - - - + + @@ -20330,13 +19965,11 @@ - - - - - - - + + + + + @@ -20558,10 +20191,8 @@ - - - - + + @@ -21061,18 +20692,14 @@ - - - - + + - - - - + + @@ -21189,18 +20816,14 @@ - - - - + + - - - - + + @@ -21352,18 +20975,14 @@ - - - - + + - - - - + + @@ -21607,18 +21226,14 @@ - - - - + + - - - - + + @@ -21770,18 +21385,14 @@ - - - - + + - - - - + + @@ -21971,18 +21582,14 @@ - - - - + + - - - - + + @@ -22020,18 +21627,14 @@ - - - - + + - - - - + + @@ -22240,18 +21843,14 @@ - - - - + + - - - - + + @@ -22429,18 +22028,14 @@ - - - - + + - - - - + + @@ -22586,18 +22181,14 @@ - - - - + + - - - - + + @@ -22641,10 +22232,8 @@ - - - - + + @@ -22725,18 +22314,14 @@ - - - - + + - - - - + + @@ -22777,10 +22362,8 @@ - - - - + + @@ -22877,18 +22460,14 @@ - - - - + + - - - - + + @@ -22932,24 +22511,18 @@ - - - - - - - - - - + + + + + + - - - - - - - + + + + + @@ -23005,18 +22578,14 @@ - - - - + + - - - - + + @@ -23208,18 +22777,14 @@ - - - - + + - - - - + + @@ -23444,18 +23009,14 @@ - - - - + + - - - - + + @@ -23723,10 +23284,8 @@ - - - - + + @@ -23812,10 +23371,8 @@ - - - - + + @@ -23902,10 +23459,8 @@ - - - - + + @@ -24099,10 +23654,8 @@ - - - - + + @@ -24570,26 +24123,20 @@ - - - - + + - - - - + + - - - - + + @@ -24673,10 +24220,8 @@ - - - - + + @@ -24695,10 +24240,8 @@ - - - - + + @@ -24819,10 +24362,8 @@ - - - - + + @@ -25071,10 +24612,8 @@ - - - - + + @@ -25137,8 +24676,8 @@ - - + + @@ -25149,10 +24688,8 @@ - - - - + + @@ -25204,8 +24741,8 @@ - - + + @@ -25221,10 +24758,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl index 539a10cf..b4b70417 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl @@ -77,7 +77,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps index 52c9e06f..c772f0b0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps @@ -3,7 +3,7 @@ - + @@ -84,9 +84,6 @@ - - - @@ -147,7 +144,7 @@ - + @@ -268,18 +265,14 @@ - - - - + + - - - - + + @@ -292,18 +285,14 @@ - - - - + + - - - - + + @@ -540,18 +529,14 @@ - - - - + + - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl index 94367c4c..96da247f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl @@ -32,7 +32,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps index 27c0974b..7d525783 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl index 64cc181c..51b22e19 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl @@ -77,7 +77,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps index 1642cd51..f22364ed 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps @@ -3,7 +3,7 @@ - + @@ -57,9 +57,6 @@ - - - @@ -99,6 +96,7 @@ + @@ -255,10 +253,8 @@ - - - - + + @@ -313,10 +309,8 @@ - - - - + + @@ -358,10 +352,8 @@ - - - - + + @@ -374,16 +366,12 @@ - - - - - - - - - - + + + + + + @@ -458,10 +446,8 @@ - - - - + + @@ -474,10 +460,8 @@ - - - - + + @@ -581,10 +565,8 @@ - - - - + + @@ -642,10 +624,8 @@ - - - - + + @@ -706,13 +686,11 @@ - - - - - - - + + + + + @@ -764,10 +742,8 @@ - - - - + + @@ -830,13 +806,11 @@ - - - - - - - + + + + + @@ -883,10 +857,8 @@ - - - - + + @@ -899,10 +871,8 @@ - - - - + + @@ -958,10 +928,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl index d86bf6cd..1b96fec8 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl @@ -81,7 +81,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index 73b59320..023013b2 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -3,7 +3,7 @@ - + @@ -160,9 +160,6 @@ - - - @@ -257,7 +254,7 @@ - + @@ -422,10 +419,8 @@ - - - - + + @@ -518,10 +513,8 @@ - - - - + + @@ -706,18 +699,14 @@ - - - - + + - - - - + + @@ -797,10 +786,8 @@ - - - - + + @@ -1180,10 +1167,8 @@ - - - - + + @@ -1382,10 +1367,8 @@ - - - - + + @@ -1543,10 +1526,8 @@ - - - - + + @@ -1641,10 +1622,8 @@ - - - - + + @@ -1657,10 +1636,8 @@ - - - - + + @@ -1758,10 +1735,8 @@ - - - - + + @@ -1939,10 +1914,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index ed9df1d0..41af8da6 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -35,7 +35,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 7504c2e2..556437a3 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -5,7 +5,7 @@ - + @@ -423,12 +423,6 @@ - - - - - - @@ -720,6 +714,7 @@ + @@ -1162,8 +1157,8 @@ - - + + @@ -2156,10 +2151,8 @@ - - - - + + @@ -2850,10 +2843,8 @@ - - - - + + @@ -3329,10 +3320,8 @@ - - - - + + @@ -3654,10 +3643,8 @@ - - - - + + @@ -4419,10 +4406,8 @@ - - - - + + @@ -4998,10 +4983,8 @@ - - - - + + @@ -5129,10 +5112,8 @@ - - - - + + @@ -5500,10 +5481,8 @@ - - - - + + @@ -7282,18 +7261,14 @@ - - - - + + - - - - + + @@ -7396,10 +7371,8 @@ - - - - + + @@ -7412,10 +7385,8 @@ - - - - + + @@ -7493,10 +7464,8 @@ - - - - + + @@ -7509,10 +7478,8 @@ - - - - + + @@ -7593,10 +7560,8 @@ - - - - + + @@ -7674,10 +7639,8 @@ - - - - + + @@ -8106,8 +8069,8 @@ - - + + @@ -8195,10 +8158,8 @@ - - - - + + @@ -13369,10 +13330,8 @@ - - - - + + @@ -13452,10 +13411,8 @@ - - - - + + @@ -13530,10 +13487,8 @@ - - - - + + @@ -13546,10 +13501,8 @@ - - - - + + @@ -13606,10 +13559,8 @@ - - - - + + @@ -13887,10 +13838,8 @@ - - - - + + @@ -13971,10 +13920,8 @@ - - - - + + @@ -14124,10 +14071,8 @@ - - - - + + @@ -14140,10 +14085,8 @@ - - - - + + @@ -14359,10 +14302,8 @@ - - - - + + @@ -14436,10 +14377,8 @@ - - - - + + @@ -14455,10 +14394,8 @@ - - - - + + @@ -14535,10 +14472,8 @@ - - - - + + @@ -14661,16 +14596,12 @@ - - - - - - - - - - + + + + + + @@ -14779,10 +14710,8 @@ - - - - + + @@ -14854,10 +14783,8 @@ - - - - + + @@ -14935,10 +14862,8 @@ - - - - + + @@ -15010,10 +14935,8 @@ - - - - + + @@ -15355,8 +15278,8 @@ - - + + @@ -15447,10 +15370,8 @@ - - - - + + @@ -15504,10 +15425,8 @@ - - - - + + @@ -15561,10 +15480,8 @@ - - - - + + @@ -15618,10 +15535,8 @@ - - - - + + @@ -16026,10 +15941,8 @@ - - - - + + @@ -16042,10 +15955,8 @@ - - - - + + @@ -16258,10 +16169,8 @@ - - - - + + @@ -16274,10 +16183,8 @@ - - - - + + @@ -16361,18 +16268,14 @@ - - - - + + - - - - + + @@ -16385,18 +16288,14 @@ - - - - + + - - - - + + @@ -17311,10 +17210,8 @@ - - - - + + @@ -17327,10 +17224,8 @@ - - - - + + @@ -17402,10 +17297,8 @@ - - - - + + @@ -17418,10 +17311,8 @@ - - - - + + @@ -17833,10 +17724,8 @@ - - - - + + @@ -18126,10 +18015,8 @@ - - - - + + @@ -19219,10 +19106,8 @@ - - - - + + @@ -19325,10 +19210,8 @@ - - - - + + @@ -19448,10 +19331,8 @@ - - - - + + @@ -19554,10 +19435,8 @@ - - - - + + @@ -19677,10 +19556,8 @@ - - - - + + @@ -19775,10 +19652,8 @@ - - - - + + @@ -19890,10 +19765,8 @@ - - - - + + @@ -19996,10 +19869,8 @@ - - - - + + @@ -20119,10 +19990,8 @@ - - - - + + @@ -20225,10 +20094,8 @@ - - - - + + @@ -20350,10 +20217,8 @@ - - - - + + @@ -20456,10 +20321,8 @@ - - - - + + @@ -21821,18 +21684,16 @@ - - - - - - - + + + + + - - - - + + + + @@ -23377,10 +23238,8 @@ - - - - + + @@ -23509,18 +23368,14 @@ - - - - + + - - - - + + @@ -23721,10 +23576,8 @@ - - - - + + @@ -23959,16 +23812,12 @@ - - - - - - - - - - + + + + + + @@ -24013,10 +23862,8 @@ - - - - + + @@ -24122,10 +23969,8 @@ - - - - + + @@ -24203,18 +24048,14 @@ - - - - + + - - - - + + @@ -24257,10 +24098,8 @@ - - - - + + @@ -24291,10 +24130,8 @@ - - - - + + @@ -24364,10 +24201,8 @@ - - - - + + @@ -24465,10 +24300,8 @@ - - - - + + @@ -24566,10 +24399,8 @@ - - - - + + @@ -24667,10 +24498,8 @@ - - - - + + @@ -25428,10 +25257,8 @@ - - - - + + @@ -25500,10 +25327,8 @@ - - - - + + @@ -25611,10 +25436,8 @@ - - - - + + @@ -26573,26 +26396,20 @@ - - - - + + - - - - + + - - - - + + @@ -26650,10 +26467,8 @@ - - - - + + @@ -26739,26 +26554,20 @@ - - - - + + - - - - + + - - - - + + @@ -26786,16 +26595,12 @@ - - - - - - - - - - + + + + + + @@ -26879,26 +26684,20 @@ - - - - + + - - - - + + - - - - + + @@ -26930,10 +26729,8 @@ - - - - + + @@ -27006,26 +26803,20 @@ - - - - + + - - - - + + - - - - + + @@ -27095,10 +26886,8 @@ - - - - + + @@ -27157,26 +26946,20 @@ - - - - + + - - - - + + - - - - + + @@ -27204,10 +26987,8 @@ - - - - + + @@ -27282,26 +27063,20 @@ - - - - + + - - - - + + - - - - + + @@ -27389,10 +27164,8 @@ - - - - + + @@ -27459,26 +27232,20 @@ - - - - + + - - - - + + - - - - + + @@ -30213,10 +29980,8 @@ - - - - + + @@ -30311,8 +30076,8 @@ - - + + @@ -30382,18 +30147,16 @@ - - - - - + + + - - + + @@ -30551,20 +30314,16 @@ - - - - - + + + - - - - + + @@ -30649,20 +30408,16 @@ - - - - - + + + - - - - + + @@ -30745,20 +30500,16 @@ - - - - - + + + - - - - + + @@ -30847,18 +30598,14 @@ - - - - + + - - - - + + @@ -30970,10 +30717,8 @@ - - - - + + @@ -31127,11 +30872,9 @@ - - - - - + + + @@ -31237,10 +30980,8 @@ - - - - + + @@ -33757,12 +33498,10 @@ - - - - - - + + + + @@ -33893,10 +33632,8 @@ - - - - + + @@ -34083,10 +33820,8 @@ - - - - + + @@ -34501,10 +34236,8 @@ - - - - + + @@ -35572,18 +35305,14 @@ - - - - + + - - - - + + @@ -35596,18 +35325,14 @@ - - - - + + - - - - + + @@ -35716,18 +35441,14 @@ - - - - + + - - - - + + @@ -35777,10 +35498,8 @@ - - - - + + @@ -35793,10 +35512,8 @@ - - - - + + @@ -35880,10 +35597,8 @@ - - - - + + @@ -35896,10 +35611,8 @@ - - - - + + @@ -36837,10 +36550,8 @@ - - - - + + @@ -36876,10 +36587,8 @@ - - - - + + @@ -36892,10 +36601,8 @@ - - - - + + @@ -36985,10 +36692,8 @@ - - - - + + @@ -37001,10 +36706,8 @@ - - - - + + @@ -37149,10 +36852,8 @@ - - - - + + @@ -37165,10 +36866,8 @@ - - - - + + @@ -37245,10 +36944,8 @@ - - - - + + @@ -37333,10 +37030,8 @@ - - - - + + @@ -37419,10 +37114,8 @@ - - - - + + @@ -37435,10 +37128,8 @@ - - - - + + @@ -37486,10 +37177,8 @@ - - - - + + @@ -37533,10 +37222,8 @@ - - - - + + @@ -37598,10 +37285,8 @@ - - - - + + @@ -37648,10 +37333,8 @@ - - - - + + @@ -37710,10 +37393,8 @@ - - - - + + @@ -40890,18 +40571,14 @@ - - - - + + - - - - + + @@ -40998,18 +40675,14 @@ - - - - + + - - - - + + @@ -42543,10 +42216,8 @@ - - - - + + @@ -42678,10 +42349,8 @@ - - - - + + @@ -42693,34 +42362,26 @@ - - - - + + - - - - + + - - - - + + - - - - + + @@ -42983,10 +42644,8 @@ - - - - + + @@ -43092,8 +42751,8 @@ - - + + @@ -44003,26 +43662,20 @@ - - - - + + - - - - + + - - - - + + @@ -44280,10 +43933,8 @@ - - - - + + @@ -44807,24 +44458,18 @@ - - - - + + - - - - - - - - - - + + + + + + @@ -44937,10 +44582,8 @@ - - - - + + @@ -45608,10 +45251,8 @@ - - - - + + @@ -45689,26 +45330,20 @@ - - - - + + - - - - + + - - - - + + @@ -46260,10 +45895,8 @@ - - - - + + @@ -46292,34 +45925,26 @@ - - - - + + - - - - + + - - - - + + - - - - + + @@ -46548,18 +46173,16 @@ - - - - - - - + + + + + - - - - + + + + @@ -46628,26 +46251,20 @@ - - - - + + - - - - + + - - - - + + @@ -47057,34 +46674,26 @@ - - - - + + - - - - + + - - - - + + - - - - + + @@ -47948,10 +47557,8 @@ - - - - + + @@ -54322,10 +53929,8 @@ - - - - + + @@ -55322,10 +54927,8 @@ - - - - + + @@ -55858,26 +55461,20 @@ - - - - + + - - - - + + - - - - + + @@ -55958,26 +55555,20 @@ - - - - + + - - - - + + - - - - + + @@ -56011,26 +55602,20 @@ - - - - + + - - - - + + - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl index 9c3ccef7..66dc7451 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl @@ -75,7 +75,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps index fd692320..f87de76a 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps @@ -3,7 +3,7 @@ - + @@ -53,12 +53,12 @@ + + + - - - @@ -111,6 +111,7 @@ + @@ -1205,8 +1206,8 @@ - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl index 1ad21824..3e360ad4 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl @@ -84,7 +84,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps index f8d97a64..8dbd8ba1 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl index 9c6d731e..70c9798d 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl @@ -97,7 +97,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps index 1eaa841c..82c0ab6e 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -2,7 +2,7 @@ - + @@ -116,9 +116,6 @@ - - - @@ -205,6 +202,7 @@ + @@ -443,10 +441,8 @@ - - - - + + @@ -952,10 +948,8 @@ - - - - + + @@ -1809,10 +1803,8 @@ - - - - + + @@ -2040,12 +2032,10 @@ - - - - - - + + + + @@ -3670,10 +3660,8 @@ - - - - + + @@ -3686,10 +3674,8 @@ - - - - + + @@ -3751,10 +3737,8 @@ - - - - + + @@ -3810,10 +3794,8 @@ - - - - + + @@ -3901,10 +3883,8 @@ - - - - + + @@ -3974,10 +3954,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl index 6bb2efff..453da80a 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl @@ -88,7 +88,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps index 10c710e1..3dfeeb89 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl index 6f91ba91..ddcb1b34 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl @@ -86,7 +86,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps index 2740e89f..62009e89 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps @@ -3,7 +3,7 @@ - + @@ -115,9 +115,6 @@ - - - @@ -179,6 +176,7 @@ + @@ -794,10 +792,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl index 4133e75f..4435b6e1 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl @@ -87,7 +87,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps index 235994a8..c6e4eb42 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps @@ -3,7 +3,7 @@ - + @@ -144,9 +144,6 @@ - - - @@ -241,6 +238,7 @@ + @@ -348,10 +346,8 @@ - - - - + + @@ -373,10 +369,8 @@ - - - - + + @@ -1011,10 +1005,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl index 92b0cb91..f8d6ff85 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl @@ -89,7 +89,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps index 3361201f..b52db364 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps @@ -3,7 +3,7 @@ - + @@ -111,9 +111,6 @@ - - - @@ -160,6 +157,7 @@ + @@ -550,24 +548,22 @@ - - - - - - - - - - - - - + + + + + + + + - - + + + + + @@ -1222,10 +1218,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl index e4e225d8..ecf5d87f 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl @@ -84,7 +84,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps index f8995c57..b4623976 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl index ec8f83bc..7a4f6dda 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl @@ -97,7 +97,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps index 3d7f0143..c6f38f2f 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps @@ -3,7 +3,7 @@ - + @@ -257,9 +257,6 @@ - - - @@ -410,6 +407,7 @@ + @@ -648,10 +646,8 @@ - - - - + + @@ -770,10 +766,8 @@ - - - - + + @@ -892,10 +886,8 @@ - - - - + + @@ -1014,10 +1006,8 @@ - - - - + + @@ -1136,10 +1126,8 @@ - - - - + + @@ -1258,10 +1246,8 @@ - - - - + + @@ -1380,10 +1366,8 @@ - - - - + + @@ -1945,24 +1929,22 @@ - - - - - - - - - - - - - + + + + + + + + - - + + + + + @@ -2331,10 +2313,8 @@ - - - - + + @@ -2963,10 +2943,8 @@ - - - - + + @@ -2984,10 +2962,8 @@ - - - - + + @@ -3019,10 +2995,8 @@ - - - - + + @@ -3838,16 +3812,12 @@ - - - - - - - - - - + + + + + + @@ -3869,10 +3839,8 @@ - - - - + + @@ -3909,16 +3877,12 @@ - - - - - - - - - - + + + + + + @@ -4437,10 +4401,8 @@ - - - - + + @@ -4482,10 +4444,8 @@ - - - - + + @@ -4520,10 +4480,8 @@ - - - - + + @@ -4552,10 +4510,8 @@ - - - - + + @@ -5205,10 +5161,8 @@ - - - - + + @@ -5272,10 +5226,8 @@ - - - - + + @@ -5341,10 +5293,8 @@ - - - - + + @@ -5410,10 +5360,8 @@ - - - - + + @@ -5479,10 +5427,8 @@ - - - - + + @@ -5548,10 +5494,8 @@ - - - - + + @@ -5593,10 +5537,8 @@ - - - - + + @@ -5997,10 +5939,8 @@ - - - - + + @@ -6027,10 +5967,8 @@ - - - - + + @@ -7087,10 +7025,8 @@ - - - - + + @@ -7109,10 +7045,8 @@ - - - - + + @@ -7174,10 +7108,8 @@ - - - - + + @@ -7245,10 +7177,8 @@ - - - - + + @@ -7316,10 +7246,8 @@ - - - - + + @@ -7929,10 +7857,8 @@ - - - - + + @@ -7950,10 +7876,8 @@ - - - - + + @@ -8002,10 +7926,8 @@ - - - - + + @@ -8070,16 +7992,12 @@ - - - - - - - - - - + + + + + + @@ -8174,10 +8092,8 @@ - - - - + + @@ -8195,10 +8111,8 @@ - - - - + + @@ -8245,10 +8159,8 @@ - - - - + + @@ -8331,10 +8243,8 @@ - - - - + + @@ -8352,10 +8262,8 @@ - - - - + + @@ -8456,10 +8364,8 @@ - - - - + + @@ -8568,10 +8474,8 @@ - - - - + + @@ -8636,10 +8540,8 @@ - - - - + + @@ -8704,10 +8606,8 @@ - - - - + + @@ -8772,10 +8672,8 @@ - - - - + + @@ -8840,10 +8738,8 @@ - - - - + + @@ -8944,10 +8840,8 @@ - - - - + + @@ -9019,10 +8913,8 @@ - - - - + + @@ -9040,10 +8932,8 @@ - - - - + + @@ -9507,10 +9397,8 @@ - - - - + + @@ -9527,10 +9415,8 @@ - - - - + + @@ -9578,10 +9464,8 @@ - - - - + + @@ -9598,10 +9482,8 @@ - - - - + + @@ -9803,10 +9685,8 @@ - - - - + + @@ -9824,10 +9704,8 @@ - - - - + + @@ -10592,10 +10470,8 @@ - - - - + + @@ -10632,10 +10508,8 @@ - - - - + + @@ -10657,10 +10531,8 @@ - - - - + + @@ -10682,10 +10554,8 @@ - - - - + + @@ -10874,10 +10744,8 @@ - - - - + + @@ -10895,10 +10763,8 @@ - - - - + + @@ -10968,10 +10834,8 @@ - - - - + + @@ -11003,15 +10867,13 @@ - - - - - - - - - + + + + + + + @@ -11109,10 +10971,8 @@ - - - - + + @@ -11131,10 +10991,8 @@ - - - - + + @@ -11187,10 +11045,8 @@ - - - - + + @@ -11263,10 +11119,8 @@ - - - - + + @@ -11284,10 +11138,8 @@ - - - - + + @@ -11356,10 +11208,8 @@ - - - - + + @@ -11391,15 +11241,13 @@ - - - - - - - - - + + + + + + + @@ -11478,10 +11326,8 @@ - - - - + + @@ -11499,10 +11345,8 @@ - - - - + + @@ -11571,10 +11415,8 @@ - - - - + + @@ -11606,15 +11448,13 @@ - - - - - - - - - + + + + + + + @@ -12418,10 +12258,8 @@ - - - - + + @@ -12457,10 +12295,8 @@ - - - - + + @@ -12498,10 +12334,8 @@ - - - - + + @@ -12537,10 +12371,8 @@ - - - - + + @@ -12783,10 +12615,8 @@ - - - - + + @@ -12804,10 +12634,8 @@ - - - - + + @@ -12858,10 +12686,8 @@ - - - - + + @@ -12911,10 +12737,8 @@ - - - - + + @@ -12952,10 +12776,8 @@ - - - - + + @@ -13005,10 +12827,8 @@ - - - - + + @@ -13045,10 +12865,8 @@ - - - - + + @@ -13066,10 +12884,8 @@ - - - - + + @@ -13126,10 +12942,8 @@ - - - - + + @@ -13147,10 +12961,8 @@ - - - - + + @@ -13210,10 +13022,8 @@ - - - - + + @@ -13351,10 +13161,8 @@ - - - - + + @@ -13376,16 +13184,12 @@ - - - - - - - - - - + + + + + + @@ -13409,10 +13213,8 @@ - - - - + + @@ -13434,16 +13236,12 @@ - - - - - - - - - - + + + + + + @@ -13497,10 +13295,8 @@ - - - - + + @@ -13588,10 +13384,8 @@ - - - - + + @@ -13613,16 +13407,12 @@ - - - - - - - - - - + + + + + + @@ -13646,10 +13436,8 @@ - - - - + + @@ -13671,16 +13459,12 @@ - - - - - - - - - - + + + + + + @@ -13742,16 +13526,12 @@ - - - - - - - - - - + + + + + + @@ -13841,10 +13621,8 @@ - - - - + + @@ -13866,16 +13644,12 @@ - - - - - - - - - - + + + + + + @@ -13899,10 +13673,8 @@ - - - - + + @@ -13924,16 +13696,12 @@ - - - - - - - - - - + + + + + + @@ -13995,16 +13763,12 @@ - - - - - - - - - - + + + + + + @@ -14561,10 +14325,8 @@ - - - - + + @@ -14607,10 +14369,8 @@ - - - - + + @@ -14675,10 +14435,8 @@ - - - - + + @@ -14725,10 +14483,8 @@ - - - - + + @@ -14771,10 +14527,8 @@ - - - - + + @@ -14839,10 +14593,8 @@ - - - - + + @@ -14897,10 +14649,8 @@ - - - - + + @@ -14960,10 +14710,8 @@ - - - - + + @@ -15014,10 +14762,8 @@ - - - - + + @@ -15077,10 +14823,8 @@ - - - - + + @@ -15150,10 +14894,8 @@ - - - - + + @@ -15203,10 +14945,8 @@ - - - - + + @@ -15260,10 +15000,8 @@ - - - - + + @@ -15302,10 +15040,8 @@ - - - - + + @@ -15355,10 +15091,8 @@ - - - - + + @@ -15412,10 +15146,8 @@ - - - - + + @@ -15688,10 +15420,8 @@ - - - - + + @@ -15711,10 +15441,8 @@ - - - - + + @@ -15749,10 +15477,8 @@ - - - - + + @@ -15772,10 +15498,8 @@ - - - - + + @@ -16055,10 +15779,8 @@ - - - - + + @@ -17305,18 +17027,16 @@ - - - - - - - - - - - - + + + + + + + + + + @@ -18006,10 +17726,8 @@ - - - - + + @@ -18497,11 +18215,9 @@ - - - - - + + + @@ -18653,10 +18369,8 @@ - - - - + + @@ -18768,10 +18482,8 @@ - - - - + + @@ -18784,10 +18496,8 @@ - - - - + + @@ -18877,10 +18587,8 @@ - - - - + + @@ -19194,10 +18902,8 @@ - - - - + + @@ -19210,10 +18916,8 @@ - - - - + + @@ -19286,10 +18990,8 @@ - - - - + + @@ -19302,10 +19004,8 @@ - - - - + + @@ -19378,10 +19078,8 @@ - - - - + + @@ -19394,10 +19092,8 @@ - - - - + + @@ -19481,10 +19177,8 @@ - - - - + + @@ -19497,10 +19191,8 @@ - - - - + + @@ -19590,10 +19282,8 @@ - - - - + + @@ -19838,10 +19528,8 @@ - - - - + + @@ -19854,10 +19542,8 @@ - - - - + + @@ -19930,10 +19616,8 @@ - - - - + + @@ -19946,10 +19630,8 @@ - - - - + + @@ -20102,10 +19784,8 @@ - - - - + + @@ -20164,10 +19844,8 @@ - - - - + + @@ -20226,10 +19904,8 @@ - - - - + + @@ -20329,10 +20005,8 @@ - - - - + + @@ -20447,10 +20121,8 @@ - - - - + + @@ -20550,10 +20222,8 @@ - - - - + + @@ -20913,10 +20583,8 @@ - - - - + + @@ -20924,21 +20592,19 @@ - - - - - - - - - - - - - + + + + + + + + + + + @@ -21024,10 +20690,8 @@ - - - - + + @@ -21035,21 +20699,19 @@ - - - - - - - - - - - - - + + + + + + + + + + + @@ -21135,10 +20797,8 @@ - - - - + + @@ -21230,16 +20890,12 @@ - - - - - - - - - - + + + + + + @@ -21249,10 +20905,8 @@ - - - - + + @@ -21288,10 +20942,8 @@ - - - - + + @@ -21299,10 +20951,8 @@ - - - - + + @@ -21340,10 +20990,8 @@ - - - - + + @@ -21351,10 +20999,8 @@ - - - - + + @@ -21390,10 +21036,8 @@ - - - - + + @@ -21434,10 +21078,8 @@ - - - - + + @@ -21445,10 +21087,8 @@ - - - - + + @@ -21484,10 +21124,8 @@ - - - - + + @@ -21528,10 +21166,8 @@ - - - - + + @@ -21577,10 +21213,8 @@ - - - - + + @@ -21593,10 +21227,8 @@ - - - - + + @@ -22092,10 +21724,8 @@ - - - - + + @@ -22108,10 +21738,8 @@ - - - - + + @@ -22268,10 +21896,8 @@ - - - - + + @@ -22353,10 +21979,8 @@ - - - - + + @@ -22372,10 +21996,8 @@ - - - - + + @@ -22458,10 +22080,8 @@ - - - - + + @@ -22480,10 +22100,8 @@ - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl index d8d84dc0..632ea13d 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl @@ -94,7 +94,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps index c3b7e820..ab193939 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl index d38974e8..a0510f7c 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl @@ -94,7 +94,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps index 8378978c..5ae1dd74 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps @@ -3,7 +3,7 @@ - + @@ -126,9 +126,6 @@ - - - @@ -216,6 +213,7 @@ + @@ -423,10 +421,8 @@ - - - - + + @@ -531,10 +527,8 @@ - - - - + + @@ -3158,10 +3152,8 @@ - - - - + + @@ -3241,10 +3233,8 @@ - - - - + + @@ -4152,16 +4142,12 @@ - - - - - - - - - - + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl index d316942d..12dd79cb 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl @@ -79,7 +79,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index 156d83c7..0344bb39 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -3,7 +3,7 @@ - + @@ -101,15 +101,12 @@ + + + - - - - - - @@ -203,6 +200,7 @@ + @@ -477,10 +475,8 @@ - - - - + + @@ -502,10 +498,8 @@ - - - - + + @@ -866,10 +860,8 @@ - - - - + + @@ -902,10 +894,8 @@ - - - - + + @@ -995,10 +985,8 @@ - - - - + + @@ -1020,12 +1008,10 @@ - - - - - - + + + + @@ -1050,10 +1036,8 @@ - - - - + + @@ -1104,10 +1088,8 @@ - - - - + + @@ -1712,10 +1694,8 @@ - - - - + + @@ -1728,10 +1708,8 @@ - - - - + + @@ -1807,10 +1785,8 @@ - - - - + + @@ -1884,10 +1860,8 @@ - - - - + + @@ -1937,18 +1911,14 @@ - - - - + + - - - - + + @@ -1998,8 +1968,8 @@ - - + + @@ -2142,8 +2112,8 @@ - - + + @@ -2261,10 +2231,8 @@ - - - - + + @@ -2485,10 +2453,8 @@ - - - - + + @@ -2539,10 +2505,8 @@ - - - - + +