.gitignore fix
Showing
with
18 additions
and
249867 deletions
+18
-249867
- .gitignore .gitignore +18 -0
- inca-translation/.mps/workspace.xml inca-translation/.mps/workspace.xml +0 -4433
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/behavior/trace.info ...iveTypes/classes_gen/FORecursiveTypes/behavior/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/constraints/aspectcps-descriptorclasses.mps ...ecursiveTypes/constraints/aspectcps-descriptorclasses.mps +0 -3764
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/constraints/checkpoints ...ypes/classes_gen/FORecursiveTypes/constraints/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/constraints/trace.info ...Types/classes_gen/FORecursiveTypes/constraints/trace.info +0 -175
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/editor/trace.info ...rsiveTypes/classes_gen/FORecursiveTypes/editor/trace.info +0 -8154
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/structure/aspectcps-descriptorclasses.mps ...ORecursiveTypes/structure/aspectcps-descriptorclasses.mps +0 -9561
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/structure/checkpoints ...eTypes/classes_gen/FORecursiveTypes/structure/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/structure/trace.info ...veTypes/classes_gen/FORecursiveTypes/structure/trace.info +0 -1049
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/trace.info .../FORecursiveTypes/classes_gen/FORecursiveTypes/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/aspectcps-descriptorclasses.mps ...RecursiveTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/checkpoints ...Types/classes_gen/FORecursiveTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/trace.info ...eTypes/classes_gen/FORecursiveTypes/typesystem/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/generator/classes_gen/FORecursiveTypes/trace.info ...veTypes/generator/classes_gen/FORecursiveTypes/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/generator/classes_gen/main/trace.info ...es/FORecursiveTypes/generator/classes_gen/main/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/FORecursiveTypes/dependencies ...generator/source_gen.caches/FORecursiveTypes/dependencies +0 -18
- inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/FORecursiveTypes/generated ...es/generator/source_gen.caches/FORecursiveTypes/generated +0 -5
- inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/main/dependencies ...ursiveTypes/generator/source_gen.caches/main/dependencies +0 -8
- inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/main/generated ...RecursiveTypes/generator/source_gen.caches/main/generated +0 -5
- inca-translation/languages/FORecursiveTypes/generator/source_gen/FORecursiveTypes/Generator.java ...ypes/generator/source_gen/FORecursiveTypes/Generator.java +0 -40
- inca-translation/languages/FORecursiveTypes/generator/source_gen/FORecursiveTypes/trace.info ...iveTypes/generator/source_gen/FORecursiveTypes/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/generator/source_gen/main/QueriesGenerated.java ...siveTypes/generator/source_gen/main/QueriesGenerated.java +0 -13
- inca-translation/languages/FORecursiveTypes/generator/source_gen/main/trace.info ...ges/FORecursiveTypes/generator/source_gen/main/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/behavior/dependencies .../source_gen.caches/FORecursiveTypes/behavior/dependencies +0 -11
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/behavior/generated ...pes/source_gen.caches/FORecursiveTypes/behavior/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/constraints/dependencies ...urce_gen.caches/FORecursiveTypes/constraints/dependencies +0 -89
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/constraints/generated .../source_gen.caches/FORecursiveTypes/constraints/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/dependencies ...siveTypes/source_gen.caches/FORecursiveTypes/dependencies +0 -26
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/editor/dependencies ...es/source_gen.caches/FORecursiveTypes/editor/dependencies +0 -1553
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/editor/generated ...Types/source_gen.caches/FORecursiveTypes/editor/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/generated ...cursiveTypes/source_gen.caches/FORecursiveTypes/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/structure/dependencies ...source_gen.caches/FORecursiveTypes/structure/dependencies +0 -35
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/structure/generated ...es/source_gen.caches/FORecursiveTypes/structure/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/typesystem/dependencies ...ource_gen.caches/FORecursiveTypes/typesystem/dependencies +0 -7
- inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/typesystem/generated ...s/source_gen.caches/FORecursiveTypes/typesystem/generated +0 -5
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/Language.java ...ORecursiveTypes/source_gen/FORecursiveTypes/Language.java +0 -67
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/behavior/BehaviorAspectDescriptor.java ...n/FORecursiveTypes/behavior/BehaviorAspectDescriptor.java +0 -21
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/behavior/trace.info ...siveTypes/source_gen/FORecursiveTypes/behavior/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/ConstraintsAspectDescriptor.java ...cursiveTypes/constraints/ConstraintsAspectDescriptor.java +0 -36
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/Lam_Constraints.java ...rce_gen/FORecursiveTypes/constraints/Lam_Constraints.java +0 -37
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/LetType_Constraints.java ...gen/FORecursiveTypes/constraints/LetType_Constraints.java +0 -37
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/Let_Constraints.java ...rce_gen/FORecursiveTypes/constraints/Let_Constraints.java +0 -37
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/TypeVar_Constraints.java ...gen/FORecursiveTypes/constraints/TypeVar_Constraints.java +0 -37
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/Var_Constraints.java ...rce_gen/FORecursiveTypes/constraints/Var_Constraints.java +0 -37
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/aspectcps-descriptorclasses.mps ...ecursiveTypes/constraints/aspectcps-descriptorclasses.mps +0 -3764
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/checkpoints ...Types/source_gen/FORecursiveTypes/constraints/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/constraints/trace.info ...eTypes/source_gen/FORecursiveTypes/constraints/trace.info +0 -175
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Add_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Add_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Add_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Add_EditorBuilder_a.java +0 -388
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Anno_Editor.java ...Types/source_gen/FORecursiveTypes/editor/Anno_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Anno_EditorBuilder_a.java ...rce_gen/FORecursiveTypes/editor/Anno_EditorBuilder_a.java +0 -312
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/App_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/App_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/App_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/App_EditorBuilder_a.java +0 -377
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Case_Editor.java ...Types/source_gen/FORecursiveTypes/editor/Case_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Case_EditorBuilder_a.java ...rce_gen/FORecursiveTypes/editor/Case_EditorBuilder_a.java +0 -198
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/EditorAspectDescriptorImpl.java ...n/FORecursiveTypes/editor/EditorAspectDescriptorImpl.java +0 -161
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Fun_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Fun_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Fun_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Fun_EditorBuilder_a.java +0 -388
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarActionsDescriptor.java ...gen/FORecursiveTypes/editor/GrammarActionsDescriptor.java +0 -2158
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Add.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Add.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Anno.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Anno.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_App.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_App.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Case.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Case.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Fun.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Fun.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java ...eTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Lam.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Lam.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Let.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Let.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_LetType.java ...rsiveTypes/editor/GrammarCellsSubstituteMenu_LetType.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Match.java ...cursiveTypes/editor/GrammarCellsSubstituteMenu_Match.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Module.java ...ursiveTypes/editor/GrammarCellsSubstituteMenu_Module.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java ...ypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java ...es/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_ModuleImport.java ...Types/editor/GrammarCellsSubstituteMenu_ModuleImport.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Mult.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Mult.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Nat.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Nat.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java ...veTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_ParensType.java ...veTypes/editor/GrammarCellsSubstituteMenu_ParensType.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Succ.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Succ.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Tag.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Tag.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Term.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Term.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Type.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Type.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_TypeVar.java ...rsiveTypes/editor/GrammarCellsSubstituteMenu_TypeVar.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_UnitTerm.java ...siveTypes/editor/GrammarCellsSubstituteMenu_UnitTerm.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_UnitType.java ...siveTypes/editor/GrammarCellsSubstituteMenu_UnitType.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Var.java ...RecursiveTypes/editor/GrammarCellsSubstituteMenu_Var.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_VariantType.java ...eTypes/editor/GrammarCellsSubstituteMenu_VariantType.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_VariantTypeEntry.java ...s/editor/GrammarCellsSubstituteMenu_VariantTypeEntry.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/GrammarCellsSubstituteMenu_Zero.java ...ecursiveTypes/editor/GrammarCellsSubstituteMenu_Zero.java +0 -55
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Lam_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Lam_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Lam_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Lam_EditorBuilder_a.java +0 -163
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/LetType_Editor.java ...es/source_gen/FORecursiveTypes/editor/LetType_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/LetType_EditorBuilder_a.java ..._gen/FORecursiveTypes/editor/LetType_EditorBuilder_a.java +0 -608
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Let_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Let_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Let_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Let_EditorBuilder_a.java +0 -543
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Match_Editor.java ...ypes/source_gen/FORecursiveTypes/editor/Match_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Match_EditorBuilder_a.java ...ce_gen/FORecursiveTypes/editor/Match_EditorBuilder_a.java +0 -182
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ModuleElemDef_Editor.java ...rce_gen/FORecursiveTypes/editor/ModuleElemDef_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ModuleElemDef_EditorBuilder_a.java ...ORecursiveTypes/editor/ModuleElemDef_EditorBuilder_a.java +0 -156
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ModuleElemEmpty_SubstituteMenu.java ...RecursiveTypes/editor/ModuleElemEmpty_SubstituteMenu.java +0 -36
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ModuleImport_Editor.java ...urce_gen/FORecursiveTypes/editor/ModuleImport_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ModuleImport_EditorBuilder_a.java ...FORecursiveTypes/editor/ModuleImport_EditorBuilder_a.java +0 -93
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Module_Editor.java ...pes/source_gen/FORecursiveTypes/editor/Module_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Module_EditorBuilder_a.java ...e_gen/FORecursiveTypes/editor/Module_EditorBuilder_a.java +0 -238
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Mult_Editor.java ...Types/source_gen/FORecursiveTypes/editor/Mult_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Mult_EditorBuilder_a.java ...rce_gen/FORecursiveTypes/editor/Mult_EditorBuilder_a.java +0 -168
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Nat_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Nat_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Nat_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Nat_EditorBuilder_a.java +0 -39
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ParensTerm_Editor.java ...source_gen/FORecursiveTypes/editor/ParensTerm_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ParensTerm_EditorBuilder_a.java ...n/FORecursiveTypes/editor/ParensTerm_EditorBuilder_a.java +0 -234
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ParensType_Editor.java ...source_gen/FORecursiveTypes/editor/ParensType_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/ParensType_EditorBuilder_a.java ...n/FORecursiveTypes/editor/ParensType_EditorBuilder_a.java +0 -234
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Succ_Editor.java ...Types/source_gen/FORecursiveTypes/editor/Succ_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Succ_EditorBuilder_a.java ...rce_gen/FORecursiveTypes/editor/Succ_EditorBuilder_a.java +0 -178
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Tag_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Tag_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Tag_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Tag_EditorBuilder_a.java +0 -170
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/TypeVar_Editor.java ...es/source_gen/FORecursiveTypes/editor/TypeVar_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/TypeVar_EditorBuilder_a.java ..._gen/FORecursiveTypes/editor/TypeVar_EditorBuilder_a.java +0 -50
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/UnitTerm_Editor.java ...s/source_gen/FORecursiveTypes/editor/UnitTerm_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/UnitTerm_EditorBuilder_a.java ...gen/FORecursiveTypes/editor/UnitTerm_EditorBuilder_a.java +0 -39
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/UnitType_Editor.java ...s/source_gen/FORecursiveTypes/editor/UnitType_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/UnitType_EditorBuilder_a.java ...gen/FORecursiveTypes/editor/UnitType_EditorBuilder_a.java +0 -39
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Var_Editor.java ...eTypes/source_gen/FORecursiveTypes/editor/Var_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Var_EditorBuilder_a.java ...urce_gen/FORecursiveTypes/editor/Var_EditorBuilder_a.java +0 -50
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/VariantTypeEntry_Editor.java ..._gen/FORecursiveTypes/editor/VariantTypeEntry_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/VariantTypeEntry_EditorBuilder_a.java ...cursiveTypes/editor/VariantTypeEntry_EditorBuilder_a.java +0 -156
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/VariantType_Editor.java ...ource_gen/FORecursiveTypes/editor/VariantType_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/VariantType_EditorBuilder_a.java .../FORecursiveTypes/editor/VariantType_EditorBuilder_a.java +0 -141
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Zero_Editor.java ...Types/source_gen/FORecursiveTypes/editor/Zero_Editor.java +0 -14
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/Zero_EditorBuilder_a.java ...rce_gen/FORecursiveTypes/editor/Zero_EditorBuilder_a.java +0 -40
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/template_GrammarCellsSideTransformationsMenu.java .../editor/template_GrammarCellsSideTransformationsMenu.java +0 -61
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/editor/trace.info ...ursiveTypes/source_gen/FORecursiveTypes/editor/trace.info +0 -8154
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/ConceptPresentationAspectImpl.java ...cursiveTypes/structure/ConceptPresentationAspectImpl.java +0 -250
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/LanguageConceptSwitch.java ...gen/FORecursiveTypes/structure/LanguageConceptSwitch.java +0 -83
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/StructureAspectDescriptor.java ...FORecursiveTypes/structure/StructureAspectDescriptor.java +0 -409
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/aspectcps-descriptorclasses.mps ...ORecursiveTypes/structure/aspectcps-descriptorclasses.mps +0 -9561
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/checkpoints ...veTypes/source_gen/FORecursiveTypes/structure/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/structure/trace.info ...iveTypes/source_gen/FORecursiveTypes/structure/trace.info +0 -1049
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/trace.info ...s/FORecursiveTypes/source_gen/FORecursiveTypes/trace.info +0 -9
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/typesystem/TypesystemDescriptor.java ...gen/FORecursiveTypes/typesystem/TypesystemDescriptor.java +0 -10
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/typesystem/aspectcps-descriptorclasses.mps ...RecursiveTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/typesystem/checkpoints ...eTypes/source_gen/FORecursiveTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/FORecursiveTypes/source_gen/FORecursiveTypes/typesystem/trace.info ...veTypes/source_gen/FORecursiveTypes/typesystem/trace.info +0 -9
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/behavior/trace.info ...ages/NewLanguage/classes_gen/SumTypes/behavior/trace.info +0 -9
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/constraints/aspectcps-descriptorclasses.mps ..._gen/SumTypes/constraints/aspectcps-descriptorclasses.mps +0 -3029
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/constraints/checkpoints .../NewLanguage/classes_gen/SumTypes/constraints/checkpoints +0 -7
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/constraints/trace.info ...s/NewLanguage/classes_gen/SumTypes/constraints/trace.info +0 -143
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/editor/trace.info ...guages/NewLanguage/classes_gen/SumTypes/editor/trace.info +0 -7853
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/structure/aspectcps-descriptorclasses.mps ...es_gen/SumTypes/structure/aspectcps-descriptorclasses.mps +0 -8577
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/structure/checkpoints ...es/NewLanguage/classes_gen/SumTypes/structure/checkpoints +0 -7
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/structure/trace.info ...ges/NewLanguage/classes_gen/SumTypes/structure/trace.info +0 -913
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/trace.info ...ion/languages/NewLanguage/classes_gen/SumTypes/trace.info +0 -9
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/typesystem/aspectcps-descriptorclasses.mps ...s_gen/SumTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/typesystem/checkpoints ...s/NewLanguage/classes_gen/SumTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/NewLanguage/classes_gen/SumTypes/typesystem/trace.info ...es/NewLanguage/classes_gen/SumTypes/typesystem/trace.info +0 -9
- inca-translation/languages/NewLanguage/generator/classes_gen/SumTypes/trace.info ...ges/NewLanguage/generator/classes_gen/SumTypes/trace.info +0 -9
- inca-translation/languages/NewLanguage/generator/classes_gen/main/trace.info ...nguages/NewLanguage/generator/classes_gen/main/trace.info +0 -9
- inca-translation/languages/NewLanguage/generator/source_gen.caches/SumTypes/dependencies ...anguage/generator/source_gen.caches/SumTypes/dependencies +0 -18
- inca-translation/languages/NewLanguage/generator/source_gen.caches/SumTypes/generated ...ewLanguage/generator/source_gen.caches/SumTypes/generated +0 -5
- inca-translation/languages/NewLanguage/generator/source_gen.caches/main/dependencies ...NewLanguage/generator/source_gen.caches/main/dependencies +0 -8
- inca-translation/languages/NewLanguage/generator/source_gen.caches/main/generated ...es/NewLanguage/generator/source_gen.caches/main/generated +0 -5
- inca-translation/languages/NewLanguage/generator/source_gen/SumTypes/Generator.java .../NewLanguage/generator/source_gen/SumTypes/Generator.java +0 -40
- inca-translation/languages/NewLanguage/generator/source_gen/SumTypes/trace.info ...ages/NewLanguage/generator/source_gen/SumTypes/trace.info +0 -9
- inca-translation/languages/NewLanguage/generator/source_gen/main/QueriesGenerated.java ...wLanguage/generator/source_gen/main/QueriesGenerated.java +0 -13
- inca-translation/languages/NewLanguage/generator/source_gen/main/trace.info ...anguages/NewLanguage/generator/source_gen/main/trace.info +0 -9
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/behavior/dependencies ...Language/source_gen.caches/SumTypes/behavior/dependencies +0 -11
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/behavior/generated ...NewLanguage/source_gen.caches/SumTypes/behavior/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/constraints/dependencies ...guage/source_gen.caches/SumTypes/constraints/dependencies +0 -74
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/constraints/generated ...Language/source_gen.caches/SumTypes/constraints/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/dependencies ...uages/NewLanguage/source_gen.caches/SumTypes/dependencies +0 -26
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/editor/dependencies ...ewLanguage/source_gen.caches/SumTypes/editor/dependencies +0 -1364
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/editor/generated ...s/NewLanguage/source_gen.caches/SumTypes/editor/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/generated ...anguages/NewLanguage/source_gen.caches/SumTypes/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/structure/dependencies ...anguage/source_gen.caches/SumTypes/structure/dependencies +0 -35
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/structure/generated ...ewLanguage/source_gen.caches/SumTypes/structure/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/typesystem/dependencies ...nguage/source_gen.caches/SumTypes/typesystem/dependencies +0 -7
- inca-translation/languages/NewLanguage/source_gen.caches/SumTypes/typesystem/generated ...wLanguage/source_gen.caches/SumTypes/typesystem/generated +0 -5
- inca-translation/languages/NewLanguage/source_gen/SumTypes/Language.java ...n/languages/NewLanguage/source_gen/SumTypes/Language.java +0 -67
- inca-translation/languages/NewLanguage/source_gen/SumTypes/behavior/BehaviorAspectDescriptor.java ...ource_gen/SumTypes/behavior/BehaviorAspectDescriptor.java +0 -21
- inca-translation/languages/NewLanguage/source_gen/SumTypes/behavior/trace.info ...uages/NewLanguage/source_gen/SumTypes/behavior/trace.info +0 -9
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/ConstraintsAspectDescriptor.java ...gen/SumTypes/constraints/ConstraintsAspectDescriptor.java +0 -34
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/Lam_Constraints.java ...uage/source_gen/SumTypes/constraints/Lam_Constraints.java +0 -37
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/Let_Constraints.java ...uage/source_gen/SumTypes/constraints/Let_Constraints.java +0 -37
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/Var_Constraints.java ...uage/source_gen/SumTypes/constraints/Var_Constraints.java +0 -37
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/aspectcps-descriptorclasses.mps ..._gen/SumTypes/constraints/aspectcps-descriptorclasses.mps +0 -3029
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/checkpoints ...s/NewLanguage/source_gen/SumTypes/constraints/checkpoints +0 -7
- inca-translation/languages/NewLanguage/source_gen/SumTypes/constraints/trace.info ...es/NewLanguage/source_gen/SumTypes/constraints/trace.info +0 -143
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Add_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Add_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Add_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Add_EditorBuilder_a.java +0 -388
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Anno_Editor.java ...s/NewLanguage/source_gen/SumTypes/editor/Anno_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Anno_EditorBuilder_a.java ...uage/source_gen/SumTypes/editor/Anno_EditorBuilder_a.java +0 -312
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/App_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/App_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/App_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/App_EditorBuilder_a.java +0 -377
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Case_Editor.java ...s/NewLanguage/source_gen/SumTypes/editor/Case_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Case_EditorBuilder_a.java ...uage/source_gen/SumTypes/editor/Case_EditorBuilder_a.java +0 -328
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/EditorAspectDescriptorImpl.java ...ource_gen/SumTypes/editor/EditorAspectDescriptorImpl.java +0 -145
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Fun_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Fun_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Fun_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Fun_EditorBuilder_a.java +0 -388
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarActionsDescriptor.java .../source_gen/SumTypes/editor/GrammarActionsDescriptor.java +0 -2326
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Add.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Add.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Anno.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Anno.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_App.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_App.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Case.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Case.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Fun.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Fun.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java ...mTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_InL.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_InL.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_InR.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_InR.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Lam.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Lam.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Let.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Let.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Module.java ...en/SumTypes/editor/GrammarCellsSubstituteMenu_Module.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java ...ypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java ...es/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_ModuleImport.java ...Types/editor/GrammarCellsSubstituteMenu_ModuleImport.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Mult.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Mult.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Nat.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Nat.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java ...umTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_ParensType.java ...umTypes/editor/GrammarCellsSubstituteMenu_ParensType.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Succ.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Succ.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Sum.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Sum.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Term.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Term.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Type.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Type.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Var.java ...e_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Var.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/GrammarCellsSubstituteMenu_Zero.java ..._gen/SumTypes/editor/GrammarCellsSubstituteMenu_Zero.java +0 -55
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/InL_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/InL_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/InL_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/InL_EditorBuilder_a.java +0 -112
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/InR_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/InR_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/InR_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/InR_EditorBuilder_a.java +0 -112
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Lam_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Lam_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Lam_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Lam_EditorBuilder_a.java +0 -163
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Let_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Let_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Let_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Let_EditorBuilder_a.java +0 -543
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ModuleElemDef_Editor.java ...uage/source_gen/SumTypes/editor/ModuleElemDef_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ModuleElemDef_EditorBuilder_a.java ...ce_gen/SumTypes/editor/ModuleElemDef_EditorBuilder_a.java +0 -156
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ModuleElemEmpty_SubstituteMenu.java ...e_gen/SumTypes/editor/ModuleElemEmpty_SubstituteMenu.java +0 -36
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ModuleImport_Editor.java ...guage/source_gen/SumTypes/editor/ModuleImport_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ModuleImport_EditorBuilder_a.java ...rce_gen/SumTypes/editor/ModuleImport_EditorBuilder_a.java +0 -93
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Module_Editor.java ...NewLanguage/source_gen/SumTypes/editor/Module_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Module_EditorBuilder_a.java ...ge/source_gen/SumTypes/editor/Module_EditorBuilder_a.java +0 -238
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Mult_Editor.java ...s/NewLanguage/source_gen/SumTypes/editor/Mult_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Mult_EditorBuilder_a.java ...uage/source_gen/SumTypes/editor/Mult_EditorBuilder_a.java +0 -168
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Nat_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Nat_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Nat_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Nat_EditorBuilder_a.java +0 -39
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ParensTerm_Editor.java ...anguage/source_gen/SumTypes/editor/ParensTerm_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ParensTerm_EditorBuilder_a.java ...ource_gen/SumTypes/editor/ParensTerm_EditorBuilder_a.java +0 -234
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ParensType_Editor.java ...anguage/source_gen/SumTypes/editor/ParensType_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/ParensType_EditorBuilder_a.java ...ource_gen/SumTypes/editor/ParensType_EditorBuilder_a.java +0 -234
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Succ_Editor.java ...s/NewLanguage/source_gen/SumTypes/editor/Succ_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Succ_EditorBuilder_a.java ...uage/source_gen/SumTypes/editor/Succ_EditorBuilder_a.java +0 -178
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Sum_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Sum_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Sum_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Sum_EditorBuilder_a.java +0 -388
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Var_Editor.java ...es/NewLanguage/source_gen/SumTypes/editor/Var_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Var_EditorBuilder_a.java ...guage/source_gen/SumTypes/editor/Var_EditorBuilder_a.java +0 -50
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Zero_Editor.java ...s/NewLanguage/source_gen/SumTypes/editor/Zero_Editor.java +0 -14
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/Zero_EditorBuilder_a.java ...uage/source_gen/SumTypes/editor/Zero_EditorBuilder_a.java +0 -40
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/template_GrammarCellsSideTransformationsMenu.java .../editor/template_GrammarCellsSideTransformationsMenu.java +0 -61
- inca-translation/languages/NewLanguage/source_gen/SumTypes/editor/trace.info ...nguages/NewLanguage/source_gen/SumTypes/editor/trace.info +0 -7853
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/ConceptPresentationAspectImpl.java ...gen/SumTypes/structure/ConceptPresentationAspectImpl.java +0 -218
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/LanguageConceptSwitch.java .../source_gen/SumTypes/structure/LanguageConceptSwitch.java +0 -75
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/StructureAspectDescriptor.java ...rce_gen/SumTypes/structure/StructureAspectDescriptor.java +0 -365
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/aspectcps-descriptorclasses.mps ...ce_gen/SumTypes/structure/aspectcps-descriptorclasses.mps +0 -8577
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/checkpoints ...ges/NewLanguage/source_gen/SumTypes/structure/checkpoints +0 -7
- inca-translation/languages/NewLanguage/source_gen/SumTypes/structure/trace.info ...ages/NewLanguage/source_gen/SumTypes/structure/trace.info +0 -913
- inca-translation/languages/NewLanguage/source_gen/SumTypes/trace.info ...tion/languages/NewLanguage/source_gen/SumTypes/trace.info +0 -9
- inca-translation/languages/NewLanguage/source_gen/SumTypes/typesystem/TypesystemDescriptor.java .../source_gen/SumTypes/typesystem/TypesystemDescriptor.java +0 -10
- inca-translation/languages/NewLanguage/source_gen/SumTypes/typesystem/aspectcps-descriptorclasses.mps ...e_gen/SumTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/NewLanguage/source_gen/SumTypes/typesystem/checkpoints ...es/NewLanguage/source_gen/SumTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/NewLanguage/source_gen/SumTypes/typesystem/trace.info ...ges/NewLanguage/source_gen/SumTypes/typesystem/trace.info +0 -9
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/behavior/trace.info ...ProductTypes/classes_gen/ProductTypes/behavior/trace.info +0 -9
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/constraints/aspectcps-descriptorclasses.mps .../ProductTypes/constraints/aspectcps-descriptorclasses.mps +0 -2338
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/constraints/checkpoints ...uctTypes/classes_gen/ProductTypes/constraints/checkpoints +0 -7
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/constraints/trace.info ...ductTypes/classes_gen/ProductTypes/constraints/trace.info +0 -111
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/editor/trace.info ...s/ProductTypes/classes_gen/ProductTypes/editor/trace.info +0 -7216
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/structure/aspectcps-descriptorclasses.mps ...en/ProductTypes/structure/aspectcps-descriptorclasses.mps +0 -8093
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/structure/checkpoints ...oductTypes/classes_gen/ProductTypes/structure/checkpoints +0 -7
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/structure/trace.info ...roductTypes/classes_gen/ProductTypes/structure/trace.info +0 -872
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/trace.info ...anguages/ProductTypes/classes_gen/ProductTypes/trace.info +0 -9
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/typesystem/aspectcps-descriptorclasses.mps ...n/ProductTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/typesystem/checkpoints ...ductTypes/classes_gen/ProductTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/ProductTypes/classes_gen/ProductTypes/typesystem/trace.info ...oductTypes/classes_gen/ProductTypes/typesystem/trace.info +0 -9
- inca-translation/languages/ProductTypes/generator/classes_gen/ProductTypes/trace.info ...roductTypes/generator/classes_gen/ProductTypes/trace.info +0 -9
- inca-translation/languages/ProductTypes/generator/classes_gen/main/trace.info ...guages/ProductTypes/generator/classes_gen/main/trace.info +0 -9
- inca-translation/languages/ProductTypes/generator/source_gen.caches/ProductTypes/dependencies ...pes/generator/source_gen.caches/ProductTypes/dependencies +0 -18
- inca-translation/languages/ProductTypes/generator/source_gen.caches/ProductTypes/generated ...tTypes/generator/source_gen.caches/ProductTypes/generated +0 -5
- inca-translation/languages/ProductTypes/generator/source_gen.caches/main/dependencies ...roductTypes/generator/source_gen.caches/main/dependencies +0 -8
- inca-translation/languages/ProductTypes/generator/source_gen.caches/main/generated ...s/ProductTypes/generator/source_gen.caches/main/generated +0 -5
- inca-translation/languages/ProductTypes/generator/source_gen/ProductTypes/Generator.java ...uctTypes/generator/source_gen/ProductTypes/Generator.java +0 -40
- inca-translation/languages/ProductTypes/generator/source_gen/ProductTypes/trace.info ...ProductTypes/generator/source_gen/ProductTypes/trace.info +0 -9
- inca-translation/languages/ProductTypes/generator/source_gen/main/QueriesGenerated.java ...ductTypes/generator/source_gen/main/QueriesGenerated.java +0 -13
- inca-translation/languages/ProductTypes/generator/source_gen/main/trace.info ...nguages/ProductTypes/generator/source_gen/main/trace.info +0 -9
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/behavior/dependencies ...ypes/source_gen.caches/ProductTypes/behavior/dependencies +0 -11
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/behavior/generated ...ctTypes/source_gen.caches/ProductTypes/behavior/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/constraints/dependencies ...s/source_gen.caches/ProductTypes/constraints/dependencies +0 -59
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/constraints/generated ...ypes/source_gen.caches/ProductTypes/constraints/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/dependencies .../ProductTypes/source_gen.caches/ProductTypes/dependencies +0 -26
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/editor/dependencies ...tTypes/source_gen.caches/ProductTypes/editor/dependencies +0 -1274
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/editor/generated ...ductTypes/source_gen.caches/ProductTypes/editor/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/generated ...ges/ProductTypes/source_gen.caches/ProductTypes/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/structure/dependencies ...pes/source_gen.caches/ProductTypes/structure/dependencies +0 -34
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/structure/generated ...tTypes/source_gen.caches/ProductTypes/structure/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/typesystem/dependencies ...es/source_gen.caches/ProductTypes/typesystem/dependencies +0 -7
- inca-translation/languages/ProductTypes/source_gen.caches/ProductTypes/typesystem/generated ...Types/source_gen.caches/ProductTypes/typesystem/generated +0 -5
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/Language.java ...guages/ProductTypes/source_gen/ProductTypes/Language.java +0 -67
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/behavior/BehaviorAspectDescriptor.java ...e_gen/ProductTypes/behavior/BehaviorAspectDescriptor.java +0 -21
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/behavior/trace.info .../ProductTypes/source_gen/ProductTypes/behavior/trace.info +0 -9
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/ConstraintsAspectDescriptor.java ...ProductTypes/constraints/ConstraintsAspectDescriptor.java +0 -32
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/Lam_Constraints.java .../source_gen/ProductTypes/constraints/Lam_Constraints.java +0 -37
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/Let_Constraints.java .../source_gen/ProductTypes/constraints/Let_Constraints.java +0 -37
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/Var_Constraints.java .../source_gen/ProductTypes/constraints/Var_Constraints.java +0 -37
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/aspectcps-descriptorclasses.mps .../ProductTypes/constraints/aspectcps-descriptorclasses.mps +0 -2338
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/checkpoints ...ductTypes/source_gen/ProductTypes/constraints/checkpoints +0 -7
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/constraints/trace.info ...oductTypes/source_gen/ProductTypes/constraints/trace.info +0 -111
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Add_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Add_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Add_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Add_EditorBuilder_a.java +0 -388
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Anno_Editor.java ...ductTypes/source_gen/ProductTypes/editor/Anno_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Anno_EditorBuilder_a.java .../source_gen/ProductTypes/editor/Anno_EditorBuilder_a.java +0 -312
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/App_Editor.java ...oductTypes/source_gen/ProductTypes/editor/App_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/App_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/App_EditorBuilder_a.java +0 -377
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/EditorAspectDescriptorImpl.java ...e_gen/ProductTypes/editor/EditorAspectDescriptorImpl.java +0 -141
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Fst_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Fst_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Fst_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Fst_EditorBuilder_a.java +0 -112
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Fun_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Fun_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Fun_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Fun_EditorBuilder_a.java +0 -388
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarActionsDescriptor.java ...rce_gen/ProductTypes/editor/GrammarActionsDescriptor.java +0 -2166
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Add.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Add.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Anno.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Anno.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_App.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_App.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Fst.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Fst.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Fun.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Fun.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java ...tTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Lam.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Lam.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Let.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Let.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Module.java ...roductTypes/editor/GrammarCellsSubstituteMenu_Module.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java ...ypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java ...es/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_ModuleImport.java ...Types/editor/GrammarCellsSubstituteMenu_ModuleImport.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Mult.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Mult.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Nat.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Nat.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Pair.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Pair.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java ...ctTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_ParensType.java ...ctTypes/editor/GrammarCellsSubstituteMenu_ParensType.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Product.java ...oductTypes/editor/GrammarCellsSubstituteMenu_Product.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Snd.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Snd.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Succ.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Succ.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Term.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Term.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Type.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Type.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Var.java ...n/ProductTypes/editor/GrammarCellsSubstituteMenu_Var.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/GrammarCellsSubstituteMenu_Zero.java .../ProductTypes/editor/GrammarCellsSubstituteMenu_Zero.java +0 -55
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Lam_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Lam_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Lam_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Lam_EditorBuilder_a.java +0 -163
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Let_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Let_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Let_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Let_EditorBuilder_a.java +0 -543
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ModuleElemDef_Editor.java .../source_gen/ProductTypes/editor/ModuleElemDef_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ModuleElemDef_EditorBuilder_a.java ...en/ProductTypes/editor/ModuleElemDef_EditorBuilder_a.java +0 -156
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ModuleElemEmpty_SubstituteMenu.java ...n/ProductTypes/editor/ModuleElemEmpty_SubstituteMenu.java +0 -36
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ModuleImport_Editor.java ...s/source_gen/ProductTypes/editor/ModuleImport_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ModuleImport_EditorBuilder_a.java ...gen/ProductTypes/editor/ModuleImport_EditorBuilder_a.java +0 -93
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Module_Editor.java ...ctTypes/source_gen/ProductTypes/editor/Module_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Module_EditorBuilder_a.java ...ource_gen/ProductTypes/editor/Module_EditorBuilder_a.java +0 -238
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Mult_Editor.java ...ductTypes/source_gen/ProductTypes/editor/Mult_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Mult_EditorBuilder_a.java .../source_gen/ProductTypes/editor/Mult_EditorBuilder_a.java +0 -168
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Nat_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Nat_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Nat_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Nat_EditorBuilder_a.java +0 -39
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Pair_Editor.java ...ductTypes/source_gen/ProductTypes/editor/Pair_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Pair_EditorBuilder_a.java .../source_gen/ProductTypes/editor/Pair_EditorBuilder_a.java +0 -182
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ParensTerm_Editor.java ...pes/source_gen/ProductTypes/editor/ParensTerm_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ParensTerm_EditorBuilder_a.java ...e_gen/ProductTypes/editor/ParensTerm_EditorBuilder_a.java +0 -234
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ParensType_Editor.java ...pes/source_gen/ProductTypes/editor/ParensType_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/ParensType_EditorBuilder_a.java ...e_gen/ProductTypes/editor/ParensType_EditorBuilder_a.java +0 -234
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Product_Editor.java ...tTypes/source_gen/ProductTypes/editor/Product_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Product_EditorBuilder_a.java ...urce_gen/ProductTypes/editor/Product_EditorBuilder_a.java +0 -388
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Snd_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Snd_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Snd_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Snd_EditorBuilder_a.java +0 -112
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Succ_Editor.java ...ductTypes/source_gen/ProductTypes/editor/Succ_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Succ_EditorBuilder_a.java .../source_gen/ProductTypes/editor/Succ_EditorBuilder_a.java +0 -178
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Var_Editor.java ...oductTypes/source_gen/ProductTypes/editor/Var_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Var_EditorBuilder_a.java ...s/source_gen/ProductTypes/editor/Var_EditorBuilder_a.java +0 -50
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Zero_Editor.java ...ductTypes/source_gen/ProductTypes/editor/Zero_Editor.java +0 -14
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/Zero_EditorBuilder_a.java .../source_gen/ProductTypes/editor/Zero_EditorBuilder_a.java +0 -40
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/template_GrammarCellsSideTransformationsMenu.java .../editor/template_GrammarCellsSideTransformationsMenu.java +0 -61
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/editor/trace.info ...es/ProductTypes/source_gen/ProductTypes/editor/trace.info +0 -7216
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/ConceptPresentationAspectImpl.java ...ProductTypes/structure/ConceptPresentationAspectImpl.java +0 -210
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/LanguageConceptSwitch.java ...rce_gen/ProductTypes/structure/LanguageConceptSwitch.java +0 -73
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/StructureAspectDescriptor.java ...gen/ProductTypes/structure/StructureAspectDescriptor.java +0 -346
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/aspectcps-descriptorclasses.mps ...en/ProductTypes/structure/aspectcps-descriptorclasses.mps +0 -8093
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/checkpoints ...roductTypes/source_gen/ProductTypes/structure/checkpoints +0 -7
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/structure/trace.info ...ProductTypes/source_gen/ProductTypes/structure/trace.info +0 -872
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/trace.info ...languages/ProductTypes/source_gen/ProductTypes/trace.info +0 -9
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/typesystem/TypesystemDescriptor.java ...rce_gen/ProductTypes/typesystem/TypesystemDescriptor.java +0 -10
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/typesystem/aspectcps-descriptorclasses.mps ...n/ProductTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/typesystem/checkpoints ...oductTypes/source_gen/ProductTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/ProductTypes/source_gen/ProductTypes/typesystem/trace.info ...roductTypes/source_gen/ProductTypes/typesystem/trace.info +0 -9
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/behavior/trace.info ...s/RecordTypes/classes_gen/RecordTypes/behavior/trace.info +0 -9
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/constraints/aspectcps-descriptorclasses.mps ...n/RecordTypes/constraints/aspectcps-descriptorclasses.mps +0 -2338
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/constraints/checkpoints ...cordTypes/classes_gen/RecordTypes/constraints/checkpoints +0 -7
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/constraints/trace.info ...ecordTypes/classes_gen/RecordTypes/constraints/trace.info +0 -111
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/editor/trace.info ...ges/RecordTypes/classes_gen/RecordTypes/editor/trace.info +0 -7086
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/structure/aspectcps-descriptorclasses.mps ...gen/RecordTypes/structure/aspectcps-descriptorclasses.mps +0 -8278
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/structure/checkpoints ...RecordTypes/classes_gen/RecordTypes/structure/checkpoints +0 -7
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/structure/trace.info .../RecordTypes/classes_gen/RecordTypes/structure/trace.info +0 -906
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/trace.info .../languages/RecordTypes/classes_gen/RecordTypes/trace.info +0 -9
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/typesystem/aspectcps-descriptorclasses.mps ...en/RecordTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/typesystem/checkpoints ...ecordTypes/classes_gen/RecordTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/RecordTypes/classes_gen/RecordTypes/typesystem/trace.info ...RecordTypes/classes_gen/RecordTypes/typesystem/trace.info +0 -9
- inca-translation/languages/RecordTypes/generator/classes_gen/RecordTypes/trace.info .../RecordTypes/generator/classes_gen/RecordTypes/trace.info +0 -9
- inca-translation/languages/RecordTypes/generator/classes_gen/main/trace.info ...nguages/RecordTypes/generator/classes_gen/main/trace.info +0 -9
- inca-translation/languages/RecordTypes/generator/source_gen.caches/RecordTypes/dependencies ...ypes/generator/source_gen.caches/RecordTypes/dependencies +0 -18
- inca-translation/languages/RecordTypes/generator/source_gen.caches/RecordTypes/generated ...rdTypes/generator/source_gen.caches/RecordTypes/generated +0 -5
- inca-translation/languages/RecordTypes/generator/source_gen.caches/main/dependencies ...RecordTypes/generator/source_gen.caches/main/dependencies +0 -8
- inca-translation/languages/RecordTypes/generator/source_gen.caches/main/generated ...es/RecordTypes/generator/source_gen.caches/main/generated +0 -5
- inca-translation/languages/RecordTypes/generator/source_gen/RecordTypes/Generator.java ...cordTypes/generator/source_gen/RecordTypes/Generator.java +0 -40
- inca-translation/languages/RecordTypes/generator/source_gen/RecordTypes/trace.info ...s/RecordTypes/generator/source_gen/RecordTypes/trace.info +0 -9
- inca-translation/languages/RecordTypes/generator/source_gen/main/QueriesGenerated.java ...cordTypes/generator/source_gen/main/QueriesGenerated.java +0 -13
- inca-translation/languages/RecordTypes/generator/source_gen/main/trace.info ...anguages/RecordTypes/generator/source_gen/main/trace.info +0 -9
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/behavior/dependencies ...Types/source_gen.caches/RecordTypes/behavior/dependencies +0 -11
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/behavior/generated ...ordTypes/source_gen.caches/RecordTypes/behavior/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/constraints/dependencies ...es/source_gen.caches/RecordTypes/constraints/dependencies +0 -59
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/constraints/generated ...Types/source_gen.caches/RecordTypes/constraints/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/dependencies ...es/RecordTypes/source_gen.caches/RecordTypes/dependencies +0 -26
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/editor/dependencies ...rdTypes/source_gen.caches/RecordTypes/editor/dependencies +0 -1382
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/editor/generated ...ecordTypes/source_gen.caches/RecordTypes/editor/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/generated ...uages/RecordTypes/source_gen.caches/RecordTypes/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/structure/dependencies ...ypes/source_gen.caches/RecordTypes/structure/dependencies +0 -34
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/structure/generated ...rdTypes/source_gen.caches/RecordTypes/structure/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/typesystem/dependencies ...pes/source_gen.caches/RecordTypes/typesystem/dependencies +0 -7
- inca-translation/languages/RecordTypes/source_gen.caches/RecordTypes/typesystem/generated ...dTypes/source_gen.caches/RecordTypes/typesystem/generated +0 -5
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/Language.java ...anguages/RecordTypes/source_gen/RecordTypes/Language.java +0 -67
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/behavior/BehaviorAspectDescriptor.java ...ce_gen/RecordTypes/behavior/BehaviorAspectDescriptor.java +0 -21
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/behavior/trace.info ...es/RecordTypes/source_gen/RecordTypes/behavior/trace.info +0 -9
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/ConstraintsAspectDescriptor.java .../RecordTypes/constraints/ConstraintsAspectDescriptor.java +0 -32
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/Lam_Constraints.java ...s/source_gen/RecordTypes/constraints/Lam_Constraints.java +0 -37
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/Let_Constraints.java ...s/source_gen/RecordTypes/constraints/Let_Constraints.java +0 -37
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/Var_Constraints.java ...s/source_gen/RecordTypes/constraints/Var_Constraints.java +0 -37
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/aspectcps-descriptorclasses.mps ...n/RecordTypes/constraints/aspectcps-descriptorclasses.mps +0 -2338
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/checkpoints ...ecordTypes/source_gen/RecordTypes/constraints/checkpoints +0 -7
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/constraints/trace.info ...RecordTypes/source_gen/RecordTypes/constraints/trace.info +0 -111
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Add_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Add_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Add_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Add_EditorBuilder_a.java +0 -388
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Anno_Editor.java ...ecordTypes/source_gen/RecordTypes/editor/Anno_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Anno_EditorBuilder_a.java ...s/source_gen/RecordTypes/editor/Anno_EditorBuilder_a.java +0 -312
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/App_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/App_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/App_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/App_EditorBuilder_a.java +0 -377
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/EditorAspectDescriptorImpl.java ...ce_gen/RecordTypes/editor/EditorAspectDescriptorImpl.java +0 -145
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Fun_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Fun_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Fun_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Fun_EditorBuilder_a.java +0 -388
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarActionsDescriptor.java ...urce_gen/RecordTypes/editor/GrammarActionsDescriptor.java +0 -1972
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Add.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Add.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Anno.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Anno.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_App.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_App.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Fun.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Fun.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java ...dTypes/editor/GrammarCellsSubstituteMenu_IModuleElem.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Lam.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Lam.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Let.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Let.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Module.java ...RecordTypes/editor/GrammarCellsSubstituteMenu_Module.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java ...ypes/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java ...es/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_ModuleImport.java ...Types/editor/GrammarCellsSubstituteMenu_ModuleImport.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Mult.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Mult.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Nat.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Nat.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java ...rdTypes/editor/GrammarCellsSubstituteMenu_ParensTerm.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_ParensType.java ...rdTypes/editor/GrammarCellsSubstituteMenu_ParensType.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Record.java ...RecordTypes/editor/GrammarCellsSubstituteMenu_Record.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_RecordEntry.java ...dTypes/editor/GrammarCellsSubstituteMenu_RecordEntry.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_RecordType.java ...rdTypes/editor/GrammarCellsSubstituteMenu_RecordType.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_RecordTypeEntry.java ...es/editor/GrammarCellsSubstituteMenu_RecordTypeEntry.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Sel.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Sel.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Succ.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Succ.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Term.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Term.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Type.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Type.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Var.java ...en/RecordTypes/editor/GrammarCellsSubstituteMenu_Var.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/GrammarCellsSubstituteMenu_Zero.java ...n/RecordTypes/editor/GrammarCellsSubstituteMenu_Zero.java +0 -55
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Lam_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Lam_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Lam_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Lam_EditorBuilder_a.java +0 -163
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Let_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Let_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Let_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Let_EditorBuilder_a.java +0 -543
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ModuleElemDef_Editor.java ...s/source_gen/RecordTypes/editor/ModuleElemDef_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ModuleElemDef_EditorBuilder_a.java ...gen/RecordTypes/editor/ModuleElemDef_EditorBuilder_a.java +0 -156
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ModuleElemEmpty_SubstituteMenu.java ...en/RecordTypes/editor/ModuleElemEmpty_SubstituteMenu.java +0 -36
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ModuleImport_Editor.java ...es/source_gen/RecordTypes/editor/ModuleImport_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ModuleImport_EditorBuilder_a.java ..._gen/RecordTypes/editor/ModuleImport_EditorBuilder_a.java +0 -93
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Module_Editor.java ...ordTypes/source_gen/RecordTypes/editor/Module_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Module_EditorBuilder_a.java ...source_gen/RecordTypes/editor/Module_EditorBuilder_a.java +0 -238
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Mult_Editor.java ...ecordTypes/source_gen/RecordTypes/editor/Mult_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Mult_EditorBuilder_a.java ...s/source_gen/RecordTypes/editor/Mult_EditorBuilder_a.java +0 -168
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Nat_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Nat_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Nat_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Nat_EditorBuilder_a.java +0 -39
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ParensTerm_Editor.java ...ypes/source_gen/RecordTypes/editor/ParensTerm_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ParensTerm_EditorBuilder_a.java ...ce_gen/RecordTypes/editor/ParensTerm_EditorBuilder_a.java +0 -234
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ParensType_Editor.java ...ypes/source_gen/RecordTypes/editor/ParensType_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/ParensType_EditorBuilder_a.java ...ce_gen/RecordTypes/editor/ParensType_EditorBuilder_a.java +0 -234
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordEntry_Editor.java ...pes/source_gen/RecordTypes/editor/RecordEntry_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordEntry_EditorBuilder_a.java ...e_gen/RecordTypes/editor/RecordEntry_EditorBuilder_a.java +0 -156
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordTypeEntry_Editor.java ...source_gen/RecordTypes/editor/RecordTypeEntry_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordTypeEntry_EditorBuilder_a.java ...n/RecordTypes/editor/RecordTypeEntry_EditorBuilder_a.java +0 -156
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordType_Editor.java ...ypes/source_gen/RecordTypes/editor/RecordType_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/RecordType_EditorBuilder_a.java ...ce_gen/RecordTypes/editor/RecordType_EditorBuilder_a.java +0 -141
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Record_Editor.java ...ordTypes/source_gen/RecordTypes/editor/Record_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Record_EditorBuilder_a.java ...source_gen/RecordTypes/editor/Record_EditorBuilder_a.java +0 -141
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Sel_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Sel_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Sel_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Sel_EditorBuilder_a.java +0 -286
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Succ_Editor.java ...ecordTypes/source_gen/RecordTypes/editor/Succ_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Succ_EditorBuilder_a.java ...s/source_gen/RecordTypes/editor/Succ_EditorBuilder_a.java +0 -178
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Var_Editor.java ...RecordTypes/source_gen/RecordTypes/editor/Var_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Var_EditorBuilder_a.java ...es/source_gen/RecordTypes/editor/Var_EditorBuilder_a.java +0 -50
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Zero_Editor.java ...ecordTypes/source_gen/RecordTypes/editor/Zero_Editor.java +0 -14
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/Zero_EditorBuilder_a.java ...s/source_gen/RecordTypes/editor/Zero_EditorBuilder_a.java +0 -40
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/template_GrammarCellsSideTransformationsMenu.java .../editor/template_GrammarCellsSideTransformationsMenu.java +0 -61
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/editor/trace.info ...ages/RecordTypes/source_gen/RecordTypes/editor/trace.info +0 -7086
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/ConceptPresentationAspectImpl.java .../RecordTypes/structure/ConceptPresentationAspectImpl.java +0 -218
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/LanguageConceptSwitch.java ...urce_gen/RecordTypes/structure/LanguageConceptSwitch.java +0 -75
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/StructureAspectDescriptor.java ..._gen/RecordTypes/structure/StructureAspectDescriptor.java +0 -357
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/aspectcps-descriptorclasses.mps ...gen/RecordTypes/structure/aspectcps-descriptorclasses.mps +0 -8278
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/checkpoints .../RecordTypes/source_gen/RecordTypes/structure/checkpoints +0 -7
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/structure/trace.info ...s/RecordTypes/source_gen/RecordTypes/structure/trace.info +0 -906
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/trace.info ...n/languages/RecordTypes/source_gen/RecordTypes/trace.info +0 -9
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/typesystem/TypesystemDescriptor.java ...urce_gen/RecordTypes/typesystem/TypesystemDescriptor.java +0 -10
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/typesystem/aspectcps-descriptorclasses.mps ...en/RecordTypes/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/typesystem/checkpoints ...RecordTypes/source_gen/RecordTypes/typesystem/checkpoints +0 -7
- inca-translation/languages/RecordTypes/source_gen/RecordTypes/typesystem/trace.info .../RecordTypes/source_gen/RecordTypes/typesystem/trace.info +0 -9
- inca-translation/languages/STLCN/classes_gen/STLCN/behavior/trace.info ...ion/languages/STLCN/classes_gen/STLCN/behavior/trace.info +0 -9
- inca-translation/languages/STLCN/classes_gen/STLCN/constraints/aspectcps-descriptorclasses.mps ...ses_gen/STLCN/constraints/aspectcps-descriptorclasses.mps +0 -1657
- inca-translation/languages/STLCN/classes_gen/STLCN/constraints/checkpoints ...languages/STLCN/classes_gen/STLCN/constraints/checkpoints +0 -7
- inca-translation/languages/STLCN/classes_gen/STLCN/constraints/trace.info .../languages/STLCN/classes_gen/STLCN/constraints/trace.info +0 -79
- inca-translation/languages/STLCN/classes_gen/STLCN/editor/trace.info ...ation/languages/STLCN/classes_gen/STLCN/editor/trace.info +0 -4492
- inca-translation/languages/STLCN/classes_gen/STLCN/structure/aspectcps-descriptorclasses.mps ...asses_gen/STLCN/structure/aspectcps-descriptorclasses.mps +0 -6502
- inca-translation/languages/STLCN/classes_gen/STLCN/structure/checkpoints ...n/languages/STLCN/classes_gen/STLCN/structure/checkpoints +0 -7
- inca-translation/languages/STLCN/classes_gen/STLCN/structure/trace.info ...on/languages/STLCN/classes_gen/STLCN/structure/trace.info +0 -720
- inca-translation/languages/STLCN/classes_gen/STLCN/trace.info ...-translation/languages/STLCN/classes_gen/STLCN/trace.info +0 -9
- inca-translation/languages/STLCN/classes_gen/STLCN/typesystem/aspectcps-descriptorclasses.mps ...sses_gen/STLCN/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/STLCN/classes_gen/STLCN/typesystem/checkpoints .../languages/STLCN/classes_gen/STLCN/typesystem/checkpoints +0 -7
- inca-translation/languages/STLCN/classes_gen/STLCN/typesystem/trace.info ...n/languages/STLCN/classes_gen/STLCN/typesystem/trace.info +0 -9
- inca-translation/languages/STLCN/generator/classes_gen/STLCN/trace.info ...on/languages/STLCN/generator/classes_gen/STLCN/trace.info +0 -9
- inca-translation/languages/STLCN/generator/classes_gen/main/trace.info ...ion/languages/STLCN/generator/classes_gen/main/trace.info +0 -9
- inca-translation/languages/STLCN/generator/source_gen.caches/STLCN/dependencies ...ages/STLCN/generator/source_gen.caches/STLCN/dependencies +0 -18
- inca-translation/languages/STLCN/generator/source_gen.caches/STLCN/generated ...nguages/STLCN/generator/source_gen.caches/STLCN/generated +0 -3
- inca-translation/languages/STLCN/generator/source_gen.caches/main/dependencies ...uages/STLCN/generator/source_gen.caches/main/dependencies +0 -8
- inca-translation/languages/STLCN/generator/source_gen.caches/main/generated ...anguages/STLCN/generator/source_gen.caches/main/generated +0 -3
- inca-translation/languages/STLCN/generator/source_gen/STLCN/Generator.java ...languages/STLCN/generator/source_gen/STLCN/Generator.java +0 -40
- inca-translation/languages/STLCN/generator/source_gen/STLCN/trace.info ...ion/languages/STLCN/generator/source_gen/STLCN/trace.info +0 -9
- inca-translation/languages/STLCN/generator/source_gen/main/QueriesGenerated.java ...ges/STLCN/generator/source_gen/main/QueriesGenerated.java +0 -13
- inca-translation/languages/STLCN/generator/source_gen/main/trace.info ...tion/languages/STLCN/generator/source_gen/main/trace.info +0 -9
- inca-translation/languages/STLCN/source_gen.caches/STLCN/behavior/dependencies ...uages/STLCN/source_gen.caches/STLCN/behavior/dependencies +0 -11
- inca-translation/languages/STLCN/source_gen.caches/STLCN/behavior/generated ...anguages/STLCN/source_gen.caches/STLCN/behavior/generated +0 -3
- inca-translation/languages/STLCN/source_gen.caches/STLCN/constraints/dependencies ...es/STLCN/source_gen.caches/STLCN/constraints/dependencies +0 -44
- inca-translation/languages/STLCN/source_gen.caches/STLCN/constraints/generated ...uages/STLCN/source_gen.caches/STLCN/constraints/generated +0 -3
- inca-translation/languages/STLCN/source_gen.caches/STLCN/dependencies ...tion/languages/STLCN/source_gen.caches/STLCN/dependencies +0 -26
- inca-translation/languages/STLCN/source_gen.caches/STLCN/editor/dependencies ...nguages/STLCN/source_gen.caches/STLCN/editor/dependencies +0 -1014
- inca-translation/languages/STLCN/source_gen.caches/STLCN/editor/generated .../languages/STLCN/source_gen.caches/STLCN/editor/generated +0 -3
- inca-translation/languages/STLCN/source_gen.caches/STLCN/generated ...slation/languages/STLCN/source_gen.caches/STLCN/generated +0 -3
- inca-translation/languages/STLCN/source_gen.caches/STLCN/structure/dependencies ...ages/STLCN/source_gen.caches/STLCN/structure/dependencies +0 -33
- inca-translation/languages/STLCN/source_gen.caches/STLCN/structure/generated ...nguages/STLCN/source_gen.caches/STLCN/structure/generated +0 -3
- inca-translation/languages/STLCN/source_gen.caches/STLCN/typesystem/dependencies ...ges/STLCN/source_gen.caches/STLCN/typesystem/dependencies +0 -7
- inca-translation/languages/STLCN/source_gen.caches/STLCN/typesystem/generated ...guages/STLCN/source_gen.caches/STLCN/typesystem/generated +0 -3
- inca-translation/languages/STLCN/source_gen/STLCN/Language.java ...ranslation/languages/STLCN/source_gen/STLCN/Language.java +0 -67
- inca-translation/languages/STLCN/source_gen/STLCN/behavior/BehaviorAspectDescriptor.java ...N/source_gen/STLCN/behavior/BehaviorAspectDescriptor.java +0 -21
- inca-translation/languages/STLCN/source_gen/STLCN/behavior/trace.info ...tion/languages/STLCN/source_gen/STLCN/behavior/trace.info +0 -9
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/ConstraintsAspectDescriptor.java ...ce_gen/STLCN/constraints/ConstraintsAspectDescriptor.java +0 -30
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/Lam_Constraints.java ...s/STLCN/source_gen/STLCN/constraints/Lam_Constraints.java +0 -37
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/Var_Constraints.java ...s/STLCN/source_gen/STLCN/constraints/Var_Constraints.java +0 -37
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/aspectcps-descriptorclasses.mps ...rce_gen/STLCN/constraints/aspectcps-descriptorclasses.mps +0 -1657
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/checkpoints .../languages/STLCN/source_gen/STLCN/constraints/checkpoints +0 -7
- inca-translation/languages/STLCN/source_gen/STLCN/constraints/trace.info ...n/languages/STLCN/source_gen/STLCN/constraints/trace.info +0 -79
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Anno_Editor.java .../languages/STLCN/source_gen/STLCN/editor/Anno_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Anno_EditorBuilder_a.java ...s/STLCN/source_gen/STLCN/editor/Anno_EditorBuilder_a.java +0 -312
- inca-translation/languages/STLCN/source_gen/STLCN/editor/App_Editor.java ...n/languages/STLCN/source_gen/STLCN/editor/App_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/App_EditorBuilder_a.java ...es/STLCN/source_gen/STLCN/editor/App_EditorBuilder_a.java +0 -377
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Bind_Editor.java .../languages/STLCN/source_gen/STLCN/editor/Bind_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Bind_EditorBuilder_a.java ...s/STLCN/source_gen/STLCN/editor/Bind_EditorBuilder_a.java +0 -233
- inca-translation/languages/STLCN/source_gen/STLCN/editor/EditorAspectDescriptorImpl.java ...N/source_gen/STLCN/editor/EditorAspectDescriptorImpl.java +0 -123
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Empty_Editor.java ...languages/STLCN/source_gen/STLCN/editor/Empty_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Empty_EditorBuilder_a.java .../STLCN/source_gen/STLCN/editor/Empty_EditorBuilder_a.java +0 -39
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Fun_Editor.java ...n/languages/STLCN/source_gen/STLCN/editor/Fun_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Fun_EditorBuilder_a.java ...es/STLCN/source_gen/STLCN/editor/Fun_EditorBuilder_a.java +0 -388
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarActionsDescriptor.java ...LCN/source_gen/STLCN/editor/GrammarActionsDescriptor.java +0 -1267
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Anno.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Anno.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_App.java ...urce_gen/STLCN/editor/GrammarCellsSubstituteMenu_App.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Bind.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Bind.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Context.java ..._gen/STLCN/editor/GrammarCellsSubstituteMenu_Context.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Empty.java ...ce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Empty.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Fun.java ...urce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Fun.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_IModuleElem.java .../STLCN/editor/GrammarCellsSubstituteMenu_IModuleElem.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Lam.java ...urce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Lam.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Module.java ...e_gen/STLCN/editor/GrammarCellsSubstituteMenu_Module.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java ...TLCN/editor/GrammarCellsSubstituteMenu_ModuleElemDef.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java ...CN/editor/GrammarCellsSubstituteMenu_ModuleElemEmpty.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_ModuleImport.java ...STLCN/editor/GrammarCellsSubstituteMenu_ModuleImport.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Nat.java ...urce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Nat.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_ParensTerm.java ...n/STLCN/editor/GrammarCellsSubstituteMenu_ParensTerm.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_ParensType.java ...n/STLCN/editor/GrammarCellsSubstituteMenu_ParensType.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Succ.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Succ.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Term.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Term.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Type.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Type.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Var.java ...urce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Var.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/GrammarCellsSubstituteMenu_Zero.java ...rce_gen/STLCN/editor/GrammarCellsSubstituteMenu_Zero.java +0 -55
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Lam_Editor.java ...n/languages/STLCN/source_gen/STLCN/editor/Lam_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Lam_EditorBuilder_a.java ...es/STLCN/source_gen/STLCN/editor/Lam_EditorBuilder_a.java +0 -163
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ModuleElemDef_Editor.java ...s/STLCN/source_gen/STLCN/editor/ModuleElemDef_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ModuleElemDef_EditorBuilder_a.java ...ource_gen/STLCN/editor/ModuleElemDef_EditorBuilder_a.java +0 -156
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ModuleElemEmpty_SubstituteMenu.java ...urce_gen/STLCN/editor/ModuleElemEmpty_SubstituteMenu.java +0 -36
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ModuleImport_Editor.java ...es/STLCN/source_gen/STLCN/editor/ModuleImport_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ModuleImport_EditorBuilder_a.java ...source_gen/STLCN/editor/ModuleImport_EditorBuilder_a.java +0 -93
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Module_Editor.java ...anguages/STLCN/source_gen/STLCN/editor/Module_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Module_EditorBuilder_a.java ...STLCN/source_gen/STLCN/editor/Module_EditorBuilder_a.java +0 -243
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Nat_Editor.java ...n/languages/STLCN/source_gen/STLCN/editor/Nat_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Nat_EditorBuilder_a.java ...es/STLCN/source_gen/STLCN/editor/Nat_EditorBuilder_a.java +0 -39
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ParensTerm_Editor.java ...ages/STLCN/source_gen/STLCN/editor/ParensTerm_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ParensTerm_EditorBuilder_a.java ...N/source_gen/STLCN/editor/ParensTerm_EditorBuilder_a.java +0 -234
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ParensType_Editor.java ...ages/STLCN/source_gen/STLCN/editor/ParensType_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/ParensType_EditorBuilder_a.java ...N/source_gen/STLCN/editor/ParensType_EditorBuilder_a.java +0 -234
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Succ_Editor.java .../languages/STLCN/source_gen/STLCN/editor/Succ_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Succ_EditorBuilder_a.java ...s/STLCN/source_gen/STLCN/editor/Succ_EditorBuilder_a.java +0 -178
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Var_Editor.java ...n/languages/STLCN/source_gen/STLCN/editor/Var_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Var_EditorBuilder_a.java ...es/STLCN/source_gen/STLCN/editor/Var_EditorBuilder_a.java +0 -51
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Zero_Editor.java .../languages/STLCN/source_gen/STLCN/editor/Zero_Editor.java +0 -14
- inca-translation/languages/STLCN/source_gen/STLCN/editor/Zero_EditorBuilder_a.java ...s/STLCN/source_gen/STLCN/editor/Zero_EditorBuilder_a.java +0 -40
- inca-translation/languages/STLCN/source_gen/STLCN/editor/template_GrammarCellsSideTransformationsMenu.java .../editor/template_GrammarCellsSideTransformationsMenu.java +0 -61
- inca-translation/languages/STLCN/source_gen/STLCN/editor/trace.info ...lation/languages/STLCN/source_gen/STLCN/editor/trace.info +0 -4492
- inca-translation/languages/STLCN/source_gen/STLCN/structure/ConceptPresentationAspectImpl.java ...ce_gen/STLCN/structure/ConceptPresentationAspectImpl.java +0 -177
- inca-translation/languages/STLCN/source_gen/STLCN/structure/LanguageConceptSwitch.java ...LCN/source_gen/STLCN/structure/LanguageConceptSwitch.java +0 -65
- inca-translation/languages/STLCN/source_gen/STLCN/structure/StructureAspectDescriptor.java ...source_gen/STLCN/structure/StructureAspectDescriptor.java +0 -281
- inca-translation/languages/STLCN/source_gen/STLCN/structure/aspectcps-descriptorclasses.mps ...ource_gen/STLCN/structure/aspectcps-descriptorclasses.mps +0 -6502
- inca-translation/languages/STLCN/source_gen/STLCN/structure/checkpoints ...on/languages/STLCN/source_gen/STLCN/structure/checkpoints +0 -7
- inca-translation/languages/STLCN/source_gen/STLCN/structure/trace.info ...ion/languages/STLCN/source_gen/STLCN/structure/trace.info +0 -720
- inca-translation/languages/STLCN/source_gen/STLCN/trace.info inca-translation/languages/STLCN/source_gen/STLCN/trace.info +0 -9
- inca-translation/languages/STLCN/source_gen/STLCN/typesystem/TypesystemDescriptor.java ...LCN/source_gen/STLCN/typesystem/TypesystemDescriptor.java +0 -10
- inca-translation/languages/STLCN/source_gen/STLCN/typesystem/aspectcps-descriptorclasses.mps ...urce_gen/STLCN/typesystem/aspectcps-descriptorclasses.mps +0 -80
- inca-translation/languages/STLCN/source_gen/STLCN/typesystem/checkpoints ...n/languages/STLCN/source_gen/STLCN/typesystem/checkpoints +0 -7
- inca-translation/languages/STLCN/source_gen/STLCN/typesystem/trace.info ...on/languages/STLCN/source_gen/STLCN/typesystem/trace.info +0 -9
- inca-translation/languages/TypeLang/classes_gen/TypeLang/Language.class ...on/languages/TypeLang/classes_gen/TypeLang/Language.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/behavior/BehaviorAspectDescriptor.class ...sses_gen/TypeLang/behavior/BehaviorAspectDescriptor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/behavior/trace.info ...nguages/TypeLang/classes_gen/TypeLang/behavior/trace.info +0 -9
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/ConstraintsAspectDescriptor.class ...en/TypeLang/constraints/ConstraintsAspectDescriptor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/Delimiter_Constraints$1.class ...es_gen/TypeLang/constraints/Delimiter_Constraints$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/Delimiter_Constraints.class ...sses_gen/TypeLang/constraints/Delimiter_Constraints.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/MetaVariable_Constraints$1.class ...gen/TypeLang/constraints/MetaVariable_Constraints$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/MetaVariable_Constraints.class ...s_gen/TypeLang/constraints/MetaVariable_Constraints.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/NodeMetaTermBinding_Constraints$1$1$1.class ...g/constraints/NodeMetaTermBinding_Constraints$1$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/NodeMetaTermBinding_Constraints$1$1.class ...ang/constraints/NodeMetaTermBinding_Constraints$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/NodeMetaTermBinding_Constraints$1.class ...eLang/constraints/NodeMetaTermBinding_Constraints$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/NodeMetaTermBinding_Constraints.class ...ypeLang/constraints/NodeMetaTermBinding_Constraints.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/aspectcps-descriptorclasses.mps ..._gen/TypeLang/constraints/aspectcps-descriptorclasses.mps +0 -2852
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/checkpoints ...ges/TypeLang/classes_gen/TypeLang/constraints/checkpoints +0 -7
- inca-translation/languages/TypeLang/classes_gen/TypeLang/constraints/trace.info ...ages/TypeLang/classes_gen/TypeLang/constraints/trace.info +0 -148
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/BooleanMetaTerm_Editor.class .../classes_gen/TypeLang/editor/BooleanMetaTerm_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/BooleanMetaTerm_EditorBuilder_a$1.class ...n/TypeLang/editor/BooleanMetaTerm_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/BooleanMetaTerm_EditorBuilder_a.class ...gen/TypeLang/editor/BooleanMetaTerm_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/BooleanMetaTerm_SubstituteMenu.class ..._gen/TypeLang/editor/BooleanMetaTerm_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Delimiter_Editor.class ...peLang/classes_gen/TypeLang/editor/Delimiter_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Delimiter_EditorBuilder_a$1.class ...ses_gen/TypeLang/editor/Delimiter_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Delimiter_EditorBuilder_a.class ...asses_gen/TypeLang/editor/Delimiter_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/EditorAspectDescriptorImpl.class ...sses_gen/TypeLang/editor/EditorAspectDescriptorImpl.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/EmptyContent_Editor.class ...ang/classes_gen/TypeLang/editor/EmptyContent_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/EmptyContent_EditorBuilder_a.class ...es_gen/TypeLang/editor/EmptyContent_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/EmptyContent_SubstituteMenu.class ...ses_gen/TypeLang/editor/EmptyContent_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$1$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$1$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$1$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$1.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$10$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$10$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$10.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$10.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$11$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$11$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$11.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$11.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$12$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$12$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$12$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$12$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$12$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$12$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$12.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$12.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$13$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$13$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$13$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$13$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$13$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$13$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$13.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$13.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$14$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$14$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$14$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$14$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$14$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$14$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$14.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$14.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$15$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$15$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$15$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$15$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$15$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$15$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$15.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$15.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$16$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$16$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$16.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$16.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$17$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$17$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$17.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$17.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$18$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$18$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$18$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$18$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$18$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$18$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$18.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$18.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$19$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$19$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$19$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$19$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$19$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$19$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$19.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$19.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$2$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$2$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$2$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$2.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$20$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$20$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$20.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$20.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$1$1$1.class ...n/TypeLang/editor/GrammarActionsDescriptor$21$1$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$21$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$21$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$21$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$3.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$21$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21$4.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$21$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$21.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$21.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$22$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$22$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$22.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$22.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$23$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$23$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$23.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$23.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$24$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$24$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$24.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$24.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$1$1$1.class ...n/TypeLang/editor/GrammarActionsDescriptor$25$1$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$25$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$25$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$25$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$3.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$25$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25$4.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$25$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$25.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$25.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$26$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$26$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$26.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$26.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$1$1$1.class ...n/TypeLang/editor/GrammarActionsDescriptor$27$1$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$27$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$27$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$27$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$3.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$27$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27$4.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$27$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$27.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$27.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$28$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$28$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$28$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$28$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$28.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$28.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$29$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$29$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$29.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$29.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$3$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$3$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$3$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$3.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$30.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$30.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$1$1$1.class ...n/TypeLang/editor/GrammarActionsDescriptor$31$1$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$31$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$31$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$2.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$31$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$3.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$31$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31$4.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$31$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$31.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$31.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$32$1$1.class ...gen/TypeLang/editor/GrammarActionsDescriptor$32$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$32$1.class ...s_gen/TypeLang/editor/GrammarActionsDescriptor$32$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$32.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$32.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$33.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$33.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$34.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$34.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$35.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$35.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$36.class ...ses_gen/TypeLang/editor/GrammarActionsDescriptor$36.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$4$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$4$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$4$2$1.class ..._gen/TypeLang/editor/GrammarActionsDescriptor$4$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$4$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$4$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$4$3.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$4$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$4.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$5$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$5$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$5$2$1.class ..._gen/TypeLang/editor/GrammarActionsDescriptor$5$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$5$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$5$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$5$3.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$5$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$5.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$5.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$6$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$6$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$6.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$6.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$7$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$7$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$7.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$7.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$8$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$8$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$8$2$1.class ..._gen/TypeLang/editor/GrammarActionsDescriptor$8$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$8$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$8$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$8$3.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$8$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$8.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$8.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$9$1.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$9$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$9$2$1.class ..._gen/TypeLang/editor/GrammarActionsDescriptor$9$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$9$2.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$9$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$9$3.class ...es_gen/TypeLang/editor/GrammarActionsDescriptor$9$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor$9.class ...sses_gen/TypeLang/editor/GrammarActionsDescriptor$9.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarActionsDescriptor.class ...lasses_gen/TypeLang/editor/GrammarActionsDescriptor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_BooleanMetaTerm$GrammarCellsSubstituteMenuPart_j5qcpq_a.class ...eanMetaTerm$GrammarCellsSubstituteMenuPart_j5qcpq_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_BooleanMetaTerm.class ...g/editor/GrammarCellsSubstituteMenu_BooleanMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Delimiter$GrammarCellsSubstituteMenuPart_aawdh1_a.class ...u_Delimiter$GrammarCellsSubstituteMenuPart_aawdh1_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Delimiter.class ...ypeLang/editor/GrammarCellsSubstituteMenu_Delimiter.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_EmptyContent$GrammarCellsSubstituteMenuPart_zc2oxw_a.class ...mptyContent$GrammarCellsSubstituteMenuPart_zc2oxw_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_EmptyContent.class ...Lang/editor/GrammarCellsSubstituteMenu_EmptyContent.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_IMetaTerm$GrammarCellsSubstituteMenuPart_2j8anz_a.class ...u_IMetaTerm$GrammarCellsSubstituteMenuPart_2j8anz_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_IMetaTerm.class ...ypeLang/editor/GrammarCellsSubstituteMenu_IMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_IntMetaTerm$GrammarCellsSubstituteMenuPart_y6ky0y_a.class ...IntMetaTerm$GrammarCellsSubstituteMenuPart_y6ky0y_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_IntMetaTerm.class ...eLang/editor/GrammarCellsSubstituteMenu_IntMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration$GrammarCellsSubstituteMenuPart_cbwr8p_a.class ...Declaration$GrammarCellsSubstituteMenuPart_cbwr8p_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration.class ...itor/GrammarCellsSubstituteMenu_JudgmentDeclaration.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration1$GrammarCellsSubstituteMenuPart_r3n6mn_a.class ...eclaration1$GrammarCellsSubstituteMenuPart_r3n6mn_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration1.class ...tor/GrammarCellsSubstituteMenu_JudgmentDeclaration1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration2$GrammarCellsSubstituteMenuPart_r3n6mo_a.class ...eclaration2$GrammarCellsSubstituteMenuPart_r3n6mo_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration2.class ...tor/GrammarCellsSubstituteMenu_JudgmentDeclaration2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration3$GrammarCellsSubstituteMenuPart_r3n6mo_a.class ...eclaration3$GrammarCellsSubstituteMenuPart_r3n6mo_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentDeclaration3.class ...tor/GrammarCellsSubstituteMenu_JudgmentDeclaration3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance$GrammarCellsSubstituteMenuPart_6wlbxa_a.class ...entInstance$GrammarCellsSubstituteMenuPart_6wlbxa_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance.class .../editor/GrammarCellsSubstituteMenu_JudgmentInstance.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance1$GrammarCellsSubstituteMenuPart_z13re_a.class ...entInstance1$GrammarCellsSubstituteMenuPart_z13re_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance1.class ...editor/GrammarCellsSubstituteMenu_JudgmentInstance1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance2$GrammarCellsSubstituteMenuPart_z13re_a.class ...entInstance2$GrammarCellsSubstituteMenuPart_z13re_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance2.class ...editor/GrammarCellsSubstituteMenu_JudgmentInstance2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance3$GrammarCellsSubstituteMenuPart_z13rf_a.class ...entInstance3$GrammarCellsSubstituteMenuPart_z13rf_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstance3.class ...editor/GrammarCellsSubstituteMenu_JudgmentInstance3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstanceEq$GrammarCellsSubstituteMenuPart_u5y8v8_a.class ...tInstanceEq$GrammarCellsSubstituteMenuPart_u5y8v8_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstanceEq.class ...ditor/GrammarCellsSubstituteMenu_JudgmentInstanceEq.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstanceNeq$GrammarCellsSubstituteMenuPart_bq10ge_a.class ...InstanceNeq$GrammarCellsSubstituteMenuPart_bq10ge_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_JudgmentInstanceNeq.class ...itor/GrammarCellsSubstituteMenu_JudgmentInstanceNeq.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_MetaVariable$GrammarCellsSubstituteMenuPart_elb1we_a.class ...etaVariable$GrammarCellsSubstituteMenuPart_elb1we_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_MetaVariable.class ...Lang/editor/GrammarCellsSubstituteMenu_MetaVariable.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NamedMetaTerm$GrammarCellsSubstituteMenuPart_nx3v53_a.class ...medMetaTerm$GrammarCellsSubstituteMenuPart_nx3v53_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NamedMetaTerm.class ...ang/editor/GrammarCellsSubstituteMenu_NamedMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NodeMetaTerm$GrammarCellsSubstituteMenuPart_hgvjqf_a.class ...odeMetaTerm$GrammarCellsSubstituteMenuPart_hgvjqf_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NodeMetaTerm.class ...Lang/editor/GrammarCellsSubstituteMenu_NodeMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NodeMetaTermBinding$GrammarCellsSubstituteMenuPart_wh2hi3_a.class ...TermBinding$GrammarCellsSubstituteMenuPart_wh2hi3_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_NodeMetaTermBinding.class ...itor/GrammarCellsSubstituteMenu_NodeMetaTermBinding.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Rule$GrammarCellsSubstituteMenuPart_8ha51o_a.class ...teMenu_Rule$GrammarCellsSubstituteMenuPart_8ha51o_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Rule.class ...gen/TypeLang/editor/GrammarCellsSubstituteMenu_Rule.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Sort$GrammarCellsSubstituteMenuPart_8haee5_a.class ...teMenu_Sort$GrammarCellsSubstituteMenuPart_8haee5_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_Sort.class ...gen/TypeLang/editor/GrammarCellsSubstituteMenu_Sort.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortInputMode$GrammarCellsSubstituteMenuPart_ehshl_a.class ...ortInputMode$GrammarCellsSubstituteMenuPart_ehshl_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortInputMode.class ...ang/editor/GrammarCellsSubstituteMenu_SortInputMode.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortMode$GrammarCellsSubstituteMenuPart_vbobsu_a.class ...nu_SortMode$GrammarCellsSubstituteMenuPart_vbobsu_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortMode.class ...TypeLang/editor/GrammarCellsSubstituteMenu_SortMode.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortOutputMode$GrammarCellsSubstituteMenuPart_q4sxn3_a.class ...tOutputMode$GrammarCellsSubstituteMenuPart_q4sxn3_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_SortOutputMode.class ...ng/editor/GrammarCellsSubstituteMenu_SortOutputMode.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_StringMetaTerm$GrammarCellsSubstituteMenuPart_ct2oxb_a.class ...ingMetaTerm$GrammarCellsSubstituteMenuPart_ct2oxb_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_StringMetaTerm.class ...ng/editor/GrammarCellsSubstituteMenu_StringMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_TypeLangModule$GrammarCellsSubstituteMenuPart_52ajco_a.class ...eLangModule$GrammarCellsSubstituteMenuPart_52ajco_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_TypeLangModule.class ...ng/editor/GrammarCellsSubstituteMenu_TypeLangModule.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_TypeLangModuleContent$GrammarCellsSubstituteMenuPart_72vkqc_a.class ...duleContent$GrammarCellsSubstituteMenuPart_72vkqc_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_TypeLangModuleContent.class ...or/GrammarCellsSubstituteMenu_TypeLangModuleContent.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_WildCardMetaTerm$GrammarCellsSubstituteMenuPart_f6wrdv_a.class ...ardMetaTerm$GrammarCellsSubstituteMenuPart_f6wrdv_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/GrammarCellsSubstituteMenu_WildCardMetaTerm.class .../editor/GrammarCellsSubstituteMenu_WildCardMetaTerm.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/IntMetaTerm_Editor.class ...Lang/classes_gen/TypeLang/editor/IntMetaTerm_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/IntMetaTerm_EditorBuilder_a$1.class ...s_gen/TypeLang/editor/IntMetaTerm_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/IntMetaTerm_EditorBuilder_a.class ...ses_gen/TypeLang/editor/IntMetaTerm_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/IntMetaTerm_SubstituteMenu.class ...sses_gen/TypeLang/editor/IntMetaTerm_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_Editor.class ...ses_gen/TypeLang/editor/JudgmentDeclaration1_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_EditorBuilder_a$1.class ...eLang/editor/JudgmentDeclaration1_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_EditorBuilder_a$delimiter1SingleRoleHandler_74872s_e0.class ...itorBuilder_a$delimiter1SingleRoleHandler_74872s_e0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_EditorBuilder_a$preSingleRoleHandler_74872s_c0.class ...ion1_EditorBuilder_a$preSingleRoleHandler_74872s_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_EditorBuilder_a$sort1SingleRoleHandler_74872s_d0.class ...n1_EditorBuilder_a$sort1SingleRoleHandler_74872s_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration1_EditorBuilder_a.class ...ypeLang/editor/JudgmentDeclaration1_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_Editor.class ...ses_gen/TypeLang/editor/JudgmentDeclaration2_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$1.class ...eLang/editor/JudgmentDeclaration2_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$delimiter1SingleRoleHandler_lj1flw_e0.class ...itorBuilder_a$delimiter1SingleRoleHandler_lj1flw_e0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$delimiter2SingleRoleHandler_lj1flw_g0.class ...itorBuilder_a$delimiter2SingleRoleHandler_lj1flw_g0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$preSingleRoleHandler_lj1flw_c0.class ...ion2_EditorBuilder_a$preSingleRoleHandler_lj1flw_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$sort1SingleRoleHandler_lj1flw_d0.class ...n2_EditorBuilder_a$sort1SingleRoleHandler_lj1flw_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a$sort2SingleRoleHandler_lj1flw_f0.class ...n2_EditorBuilder_a$sort2SingleRoleHandler_lj1flw_f0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration2_EditorBuilder_a.class ...ypeLang/editor/JudgmentDeclaration2_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_Editor.class ...ses_gen/TypeLang/editor/JudgmentDeclaration3_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$1.class ...eLang/editor/JudgmentDeclaration3_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$delimiter1SingleRoleHandler_fan5f_e0.class ...ditorBuilder_a$delimiter1SingleRoleHandler_fan5f_e0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$delimiter2SingleRoleHandler_fan5f_g0.class ...ditorBuilder_a$delimiter2SingleRoleHandler_fan5f_g0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$delimiter3SingleRoleHandler_fan5f_i0.class ...ditorBuilder_a$delimiter3SingleRoleHandler_fan5f_i0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$preSingleRoleHandler_fan5f_c0.class ...tion3_EditorBuilder_a$preSingleRoleHandler_fan5f_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$sort1SingleRoleHandler_fan5f_d0.class ...on3_EditorBuilder_a$sort1SingleRoleHandler_fan5f_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$sort2SingleRoleHandler_fan5f_f0.class ...on3_EditorBuilder_a$sort2SingleRoleHandler_fan5f_f0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a$sort3SingleRoleHandler_fan5f_h0.class ...on3_EditorBuilder_a$sort3SingleRoleHandler_fan5f_h0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentDeclaration3_EditorBuilder_a.class ...ypeLang/editor/JudgmentDeclaration3_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_Editor.class ...lasses_gen/TypeLang/editor/JudgmentInstance1_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$1$1.class ...peLang/editor/JudgmentInstance1_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$1.class ...TypeLang/editor/JudgmentInstance1_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$2.class ...TypeLang/editor/JudgmentInstance1_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$3$1.class ...peLang/editor/JudgmentInstance1_EditorBuilder_a$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$3.class ...TypeLang/editor/JudgmentInstance1_EditorBuilder_a$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$4.class ...TypeLang/editor/JudgmentInstance1_EditorBuilder_a$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$Inline_Builder0$preSingleRoleHandler_gzwfgu_a0a0a.class ...a$Inline_Builder0$preSingleRoleHandler_gzwfgu_a0a0a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$Inline_Builder0.class ...r/JudgmentInstance1_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$Inline_Builder1$delimiter1SingleRoleHandler_gzwfgu_a0a2a.class ...e_Builder1$delimiter1SingleRoleHandler_gzwfgu_a0a2a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$Inline_Builder1.class ...r/JudgmentInstance1_EditorBuilder_a$Inline_Builder1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a$arg1SingleRoleHandler_gzwfgu_b0.class ...ce1_EditorBuilder_a$arg1SingleRoleHandler_gzwfgu_b0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_EditorBuilder_a.class ...n/TypeLang/editor/JudgmentInstance1_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_SubstituteMenu$SMP_ReferenceScope_my4fj8_a.class ...nstance1_SubstituteMenu$SMP_ReferenceScope_my4fj8_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_SubstituteMenu$SMP_Subconcepts_my4fj8_b.class ...ntInstance1_SubstituteMenu$SMP_Subconcepts_my4fj8_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance1_SubstituteMenu.class ...en/TypeLang/editor/JudgmentInstance1_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_Editor.class ...lasses_gen/TypeLang/editor/JudgmentInstance2_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$1$1.class ...peLang/editor/JudgmentInstance2_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$1.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$2.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$3$1.class ...peLang/editor/JudgmentInstance2_EditorBuilder_a$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$3.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$4.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$5$1.class ...peLang/editor/JudgmentInstance2_EditorBuilder_a$5$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$5.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$5.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$6.class ...TypeLang/editor/JudgmentInstance2_EditorBuilder_a$6.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder0$preSingleRoleHandler_vepnzx_a0a0a.class ...a$Inline_Builder0$preSingleRoleHandler_vepnzx_a0a0a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder0.class ...r/JudgmentInstance2_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder1$delimiter1SingleRoleHandler_vepnzx_a0a2a.class ...e_Builder1$delimiter1SingleRoleHandler_vepnzx_a0a2a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder1.class ...r/JudgmentInstance2_EditorBuilder_a$Inline_Builder1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder2$delimiter2SingleRoleHandler_vepnzx_a0a4a.class ...e_Builder2$delimiter2SingleRoleHandler_vepnzx_a0a4a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$Inline_Builder2.class ...r/JudgmentInstance2_EditorBuilder_a$Inline_Builder2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$arg1SingleRoleHandler_vepnzx_b0.class ...ce2_EditorBuilder_a$arg1SingleRoleHandler_vepnzx_b0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a$arg2SingleRoleHandler_vepnzx_d0.class ...ce2_EditorBuilder_a$arg2SingleRoleHandler_vepnzx_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_EditorBuilder_a.class ...n/TypeLang/editor/JudgmentInstance2_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_SubstituteMenu$SMP_ReferenceScope_iq566r_a.class ...nstance2_SubstituteMenu$SMP_ReferenceScope_iq566r_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_SubstituteMenu$SMP_Subconcepts_iq566r_b.class ...ntInstance2_SubstituteMenu$SMP_Subconcepts_iq566r_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance2_SubstituteMenu.class ...en/TypeLang/editor/JudgmentInstance2_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_Editor.class ...lasses_gen/TypeLang/editor/JudgmentInstance3_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$1$1.class ...peLang/editor/JudgmentInstance3_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$1.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$2.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$3$1.class ...peLang/editor/JudgmentInstance3_EditorBuilder_a$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$3.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$4.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$4.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$5$1.class ...peLang/editor/JudgmentInstance3_EditorBuilder_a$5$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$5.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$5.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$6.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$6.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$7$1.class ...peLang/editor/JudgmentInstance3_EditorBuilder_a$7$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$7.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$7.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$8.class ...TypeLang/editor/JudgmentInstance3_EditorBuilder_a$8.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder0$preSingleRoleHandler_aayvjh_a0a0a.class ...a$Inline_Builder0$preSingleRoleHandler_aayvjh_a0a0a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder0.class ...r/JudgmentInstance3_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder1$delimiter1SingleRoleHandler_aayvjh_a0a2a.class ...e_Builder1$delimiter1SingleRoleHandler_aayvjh_a0a2a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder1.class ...r/JudgmentInstance3_EditorBuilder_a$Inline_Builder1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder2$delimiter2SingleRoleHandler_aayvjh_a0a4a.class ...e_Builder2$delimiter2SingleRoleHandler_aayvjh_a0a4a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder2.class ...r/JudgmentInstance3_EditorBuilder_a$Inline_Builder2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder3$delimiter3SingleRoleHandler_aayvjh_a0a6a.class ...e_Builder3$delimiter3SingleRoleHandler_aayvjh_a0a6a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$Inline_Builder3.class ...r/JudgmentInstance3_EditorBuilder_a$Inline_Builder3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$arg1SingleRoleHandler_aayvjh_b0.class ...ce3_EditorBuilder_a$arg1SingleRoleHandler_aayvjh_b0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$arg2SingleRoleHandler_aayvjh_d0.class ...ce3_EditorBuilder_a$arg2SingleRoleHandler_aayvjh_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a$arg3SingleRoleHandler_aayvjh_f0.class ...ce3_EditorBuilder_a$arg3SingleRoleHandler_aayvjh_f0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_EditorBuilder_a.class ...n/TypeLang/editor/JudgmentInstance3_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_SubstituteMenu$SMP_ReferenceScope_ei5wub_a.class ...nstance3_SubstituteMenu$SMP_ReferenceScope_ei5wub_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_SubstituteMenu$SMP_Subconcepts_ei5wub_b.class ...ntInstance3_SubstituteMenu$SMP_Subconcepts_ei5wub_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstance3_SubstituteMenu.class ...en/TypeLang/editor/JudgmentInstance3_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceEq_Editor.class ...asses_gen/TypeLang/editor/JudgmentInstanceEq_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceEq_EditorBuilder_a$arg1SingleRoleHandler_vjwh3z_a0.class ...eEq_EditorBuilder_a$arg1SingleRoleHandler_vjwh3z_a0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceEq_EditorBuilder_a$arg2SingleRoleHandler_vjwh3z_c0.class ...eEq_EditorBuilder_a$arg2SingleRoleHandler_vjwh3z_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceEq_EditorBuilder_a.class .../TypeLang/editor/JudgmentInstanceEq_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceNeq_Editor.class ...sses_gen/TypeLang/editor/JudgmentInstanceNeq_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceNeq_EditorBuilder_a$arg1SingleRoleHandler_n0roft_a0.class ...Neq_EditorBuilder_a$arg1SingleRoleHandler_n0roft_a0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceNeq_EditorBuilder_a$arg2SingleRoleHandler_n0roft_c0.class ...Neq_EditorBuilder_a$arg2SingleRoleHandler_n0roft_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/JudgmentInstanceNeq_EditorBuilder_a.class ...TypeLang/editor/JudgmentInstanceNeq_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/MetaVariable_Editor.class ...ang/classes_gen/TypeLang/editor/MetaVariable_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/MetaVariable_EditorBuilder_a$1.class ..._gen/TypeLang/editor/MetaVariable_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/MetaVariable_EditorBuilder_a.class ...es_gen/TypeLang/editor/MetaVariable_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_Editor.class ...ng/classes_gen/TypeLang/editor/NamedMetaTerm_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1$1.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1$2.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1.class ...gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2$1.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2$2.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2.class ...gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3$1.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3$2.class ...n/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3.class ...gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$metatermSingleRoleHandler_uurvkh_a2a.class ...ditorBuilder_a$metatermSingleRoleHandler_uurvkh_a2a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a$varSingleRoleHandler_uurvkh_a0a.class ...erm_EditorBuilder_a$varSingleRoleHandler_uurvkh_a0a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a.class ...s_gen/TypeLang/editor/NamedMetaTerm_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NamedMetaTerm_SubstituteMenu.class ...es_gen/TypeLang/editor/NamedMetaTerm_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_Editor.class ...sses_gen/TypeLang/editor/NodeMetaTermBinding_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$1$1.class ...Lang/editor/NodeMetaTermBinding_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$1.class ...peLang/editor/NodeMetaTermBinding_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$2.class ...peLang/editor/NodeMetaTermBinding_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$Inline_Builder0$1.class ...deMetaTermBinding_EditorBuilder_a$Inline_Builder0$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$Inline_Builder0.class ...NodeMetaTermBinding_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a$patternSingleRoleHandler_9xvd99_c0.class ..._EditorBuilder_a$patternSingleRoleHandler_9xvd99_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a.class ...TypeLang/editor/NodeMetaTermBinding_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_SubstituteMenu$SMP_ReferenceScope_9fmdyr_a.class ...mBinding_SubstituteMenu$SMP_ReferenceScope_9fmdyr_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_SubstituteMenu$SMP_Subconcepts_9fmdyr_b.class ...TermBinding_SubstituteMenu$SMP_Subconcepts_9fmdyr_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTermBinding_SubstituteMenu.class .../TypeLang/editor/NodeMetaTermBinding_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_Editor.class ...ang/classes_gen/TypeLang/editor/NodeMetaTerm_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$1$1.class ...en/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$1.class ..._gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$2.class ..._gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$Inline_Builder0$1.class ...itor/NodeMetaTerm_EditorBuilder_a$Inline_Builder0$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$Inline_Builder0.class ...editor/NodeMetaTerm_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a$bindingsListHandler_4najcs_b1a.class ...Term_EditorBuilder_a$bindingsListHandler_4najcs_b1a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a.class ...es_gen/TypeLang/editor/NodeMetaTerm_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_SubstituteMenu$SMP_ReferenceScope_5fhbv6_a.class ...MetaTerm_SubstituteMenu$SMP_ReferenceScope_5fhbv6_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_SubstituteMenu$SMP_Subconcepts_5fhbv6_b.class ...odeMetaTerm_SubstituteMenu$SMP_Subconcepts_5fhbv6_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/NodeMetaTerm_SubstituteMenu.class ...ses_gen/TypeLang/editor/NodeMetaTerm_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_Editor.class ...es/TypeLang/classes_gen/TypeLang/editor/Rule_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_EditorBuilder_a$1.class .../classes_gen/TypeLang/editor/Rule_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_EditorBuilder_a$2.class .../classes_gen/TypeLang/editor/Rule_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_EditorBuilder_a$conclusionSingleRoleHandler_z0m96w_e0.class ...itorBuilder_a$conclusionSingleRoleHandler_z0m96w_e0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_EditorBuilder_a$premisesListHandler_z0m96w_c0.class .../Rule_EditorBuilder_a$premisesListHandler_z0m96w_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Rule_EditorBuilder_a.class ...ng/classes_gen/TypeLang/editor/Rule_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/SortInputMode_Editor.class ...ng/classes_gen/TypeLang/editor/SortInputMode_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/SortInputMode_EditorBuilder_a.class ...s_gen/TypeLang/editor/SortInputMode_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/SortOutputMode_Editor.class ...g/classes_gen/TypeLang/editor/SortOutputMode_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/SortOutputMode_EditorBuilder_a.class ..._gen/TypeLang/editor/SortOutputMode_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_Editor.class ...es/TypeLang/classes_gen/TypeLang/editor/Sort_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$1$1.class ...lasses_gen/TypeLang/editor/Sort_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$1.class .../classes_gen/TypeLang/editor/Sort_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$2.class .../classes_gen/TypeLang/editor/Sort_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$Inline_Builder0$1.class ...eLang/editor/Sort_EditorBuilder_a$Inline_Builder0$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$Inline_Builder0.class ...ypeLang/editor/Sort_EditorBuilder_a$Inline_Builder0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$delimiterSingleRoleHandler_ecb2xj_d0.class ...ditorBuilder_a$delimiterSingleRoleHandler_ecb2xj_d0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$modeSingleRoleHandler_ecb2xj_b0.class ...ort_EditorBuilder_a$modeSingleRoleHandler_ecb2xj_b0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a$modeSingleRoleHandler_ecb2xj_c0.class ...ort_EditorBuilder_a$modeSingleRoleHandler_ecb2xj_c0.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_EditorBuilder_a.class ...ng/classes_gen/TypeLang/editor/Sort_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_SubstituteMenu$SMP_ReferenceScope_76xnx_a.class ...itor/Sort_SubstituteMenu$SMP_ReferenceScope_76xnx_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_SubstituteMenu$SMP_Subconcepts_76xnx_b.class .../editor/Sort_SubstituteMenu$SMP_Subconcepts_76xnx_b.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/Sort_SubstituteMenu.class ...ang/classes_gen/TypeLang/editor/Sort_SubstituteMenu.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_Editor.class ...g/classes_gen/TypeLang/editor/StringMetaTerm_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a$1$1.class .../TypeLang/editor/StringMetaTerm_EditorBuilder_a$1$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a$1.class ...en/TypeLang/editor/StringMetaTerm_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a$2.class ...en/TypeLang/editor/StringMetaTerm_EditorBuilder_a$2.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a$3$1.class .../TypeLang/editor/StringMetaTerm_EditorBuilder_a$3$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a$3.class ...en/TypeLang/editor/StringMetaTerm_EditorBuilder_a$3.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a.class ..._gen/TypeLang/editor/StringMetaTerm_EditorBuilder_a.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/TypeLangModule_Editor.class ...g/classes_gen/TypeLang/editor/TypeLangModule_Editor.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/TypeLangModule_EditorBuilder_a$1.class ...en/TypeLang/editor/TypeLangModule_EditorBuilder_a$1.class +0 -0
- inca-translation/languages/TypeLang/classes_gen/TypeLang/editor/TypeLangModule_EditorBuilder_a$2.class ...en/TypeLang/editor/TypeLangModule_EditorBuilder_a$2.class +0 -0
- No files found.
Too many changes to show.
To preserve performance only 1000 of 1000+ files are displayed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.