diff --git a/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/languages/jetbrains.mps.logic/generator/template/main@generator.mps index ac86e9b6..9d560bae 100644 --- a/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -145,6 +145,106 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -314,8 +414,8 @@ - - + + diff --git a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index dd35d1a9..c2a4377d 100644 --- a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -16,6 +16,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification) b401a680-8325-4110-8fd3-84331ff25bef(jetbrains.mps.lang.generator) diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps index 410269d3..dfedbb61 100644 --- a/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -736,5 +736,28 @@ + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps index 5fed7d79..166ba098 100644 --- a/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -103,10 +103,26 @@ - + + + + + + + + + + + + + + + + +