diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps index a5e71d65..edbec9a7 100644 --- a/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -26,12 +26,19 @@ - + + + + + + + + @@ -338,13 +345,13 @@ - + - +