diff --git a/build.xml b/build.xml index 262dd20a..b3e9564a 100644 --- a/build.xml +++ b/build.xml @@ -190,13 +190,13 @@ + - @@ -497,13 +497,13 @@ + - @@ -587,11 +587,11 @@ + - @@ -662,11 +662,11 @@ + - @@ -1400,7 +1400,6 @@ - @@ -1457,6 +1456,7 @@ + @@ -1708,19 +1708,12 @@ - - - - - - - @@ -2092,7 +2085,6 @@ - @@ -2114,12 +2106,6 @@ - - - - - - @@ -2383,7 +2369,6 @@ - @@ -2405,12 +2390,6 @@ - - - - - - @@ -2454,7 +2433,6 @@ - @@ -2475,12 +2453,6 @@ - - - - - - @@ -2501,7 +2473,6 @@ - @@ -2548,6 +2519,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 20f73fdf..4f8924a9 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -88,6 +88,11 @@ + + + + + @@ -487,6 +492,7 @@ + @@ -26574,6 +26580,271 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -26585,8 +26856,8 @@ - - + + @@ -28843,5 +29114,152 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 83170501..d9abb093 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -42,6 +42,8 @@ + + @@ -800,8 +802,8 @@ - + @@ -2190,9 +2192,9 @@ - - - + + + @@ -2300,81 +2302,89 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + @@ -6124,9 +6134,9 @@ - - - + + + @@ -7766,8 +7776,30 @@ + + + + + + + + + + + + + + + + + + + + + + - + @@ -7777,9 +7809,13 @@ - - + + + + + +