diff --git a/build.xml b/build.xml index e4118adc..060e29cd 100644 --- a/build.xml +++ b/build.xml @@ -149,11 +149,11 @@ - - + + @@ -1394,11 +1394,11 @@ - - + + @@ -2576,11 +2576,11 @@ - - + + @@ -2620,11 +2620,11 @@ - - + + @@ -2675,11 +2675,11 @@ - - + + @@ -2719,11 +2719,11 @@ - - + + @@ -2810,11 +2810,11 @@ - - + + @@ -2884,11 +2884,11 @@ - - + + @@ -2949,11 +2949,11 @@ - - + + @@ -3096,11 +3096,11 @@ - - + + @@ -3201,11 +3201,11 @@ - - + + @@ -3312,11 +3312,11 @@ - - + + @@ -3459,11 +3459,11 @@ - - + + @@ -3522,11 +3522,11 @@ - - + + @@ -3576,11 +3576,11 @@ - - + + @@ -3632,11 +3632,11 @@ - - + + @@ -3706,11 +3706,11 @@ - - + + @@ -3758,11 +3758,11 @@ - - + + @@ -3798,11 +3798,11 @@ - - + + @@ -3850,11 +3850,11 @@ - - + + @@ -3904,11 +3904,11 @@ - - + + @@ -3943,11 +3943,11 @@ - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index cda6bcc7..6f8cdd18 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -8116,6 +8116,29 @@ + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties index 82f167f6..0488b00e 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties +++ b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties @@ -1,4 +1,4 @@ kotlinVersion = 1.2.30 trove4jVersion = 3.0.3 dexxVersion = 0.7 -conreactorVersion = 0.9 +conreactorVersion = 0.9.1 diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 195b2fcf..a4da7fb2 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -2,18 +2,18 @@ - - + + - - + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 5dc18215..f81b2acd 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -329,50 +329,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -439,6 +395,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2341,7 +2341,7 @@ - + @@ -2352,8 +2352,8 @@ - - + + @@ -2362,7 +2362,7 @@ - + @@ -2373,8 +2373,8 @@ - - + + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index e9356d7b..9acbb543 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -217,11 +217,11 @@ - - + + @@ -309,11 +309,11 @@ - - + + @@ -403,11 +403,11 @@ - - + + @@ -494,11 +494,11 @@ - - + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index da8c51fe..eb7845a3 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -203,11 +203,11 @@ - - + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 3437a008..64a8fe6c 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -355,11 +355,11 @@ - - + + @@ -414,11 +414,11 @@ - - + + @@ -482,11 +482,11 @@ - - + +