diff --git a/build.xml b/build.xml index c3472d13..48c5c010 100644 --- a/build.xml +++ b/build.xml @@ -104,12 +104,11 @@ - - - - + + + @@ -658,12 +657,11 @@ - - - - + + + @@ -713,12 +711,11 @@ - - - - + + + @@ -761,12 +758,11 @@ - - - - + + + @@ -800,12 +796,11 @@ - - - - + + + @@ -850,12 +845,11 @@ - - - - + + + @@ -918,12 +912,11 @@ - - - - + + + @@ -981,12 +974,11 @@ - - - - + + + @@ -1044,12 +1036,11 @@ - - - - + + + @@ -1100,12 +1091,11 @@ - - - - + + + @@ -1198,12 +1188,11 @@ - - - - + + + @@ -1257,12 +1246,11 @@ - - - - + + + @@ -1319,12 +1307,11 @@ - - - - + + + @@ -1365,12 +1352,11 @@ - - - - + + + diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 7cf97cd2..0052c135 100644 --- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -12,12 +12,11 @@ - - - - + + + diff --git a/test.xml b/test.xml index 8452b44b..88d42882 100644 --- a/test.xml +++ b/test.xml @@ -678,12 +678,11 @@ - - - - + + + @@ -947,12 +946,11 @@ - - - - + + + @@ -1002,12 +1000,11 @@ - - - - + + + @@ -1050,12 +1047,11 @@ - - - - + + + @@ -1089,12 +1085,11 @@ - - - - + + + @@ -1135,12 +1130,11 @@ - - - - + + + @@ -1205,12 +1199,11 @@ - - - - + + + @@ -1274,12 +1267,11 @@ - - - - + + + @@ -1342,12 +1334,11 @@ - - - - + + + @@ -1405,12 +1396,11 @@ - - - - + + + @@ -1468,12 +1458,11 @@ - - - - + + + @@ -1524,12 +1513,11 @@ - - - - + + + @@ -1618,12 +1606,11 @@ - - - - + + + @@ -1679,12 +1666,11 @@ - - - - + + + @@ -1725,12 +1711,11 @@ - - - - + + + @@ -1877,12 +1862,11 @@ - - - - + + + @@ -1992,12 +1976,11 @@ - - - - + + + @@ -2073,12 +2056,11 @@ - - - - + + + @@ -2154,12 +2136,11 @@ - - - - + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps index c12d6514..c2ff26f1 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps @@ -458,90 +458,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -584,6 +500,69 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1661,94 +1640,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1793,6 +1684,72 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +