BaseLanguageExtensions/Extensions.mpr at master · vaclav/BaseLanguageExtensions · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="DefaultSearchOptionsComponent">
    <option class_name="jetbrains.mps.ide.findusages.view.optionseditor.options.FindersOptions">
      <finders>
        <finder class_name="jetbrains.mps.lang.structure.findUsages.NodeUsages_Finder" />
        <finder class_name="jetbrains.mps.lang.structure.findUsages.ConceptInstances_Finder" />
      </finders>
    </option>
    <option class_name="jetbrains.mps.ide.findusages.view.optionseditor.options.ViewOptions">
      <flags show_one_result="true" new_tab="false" />
    </option>
    <option class_name="jetbrains.mps.ide.findusages.view.optionseditor.options.ScopeOptions">
      <scope_type scope_type="project_scope" module="&lt;default&gt;" model="&lt;default&gt;" />
    </option>
  </component>
  <component name="DependencyValidationManager">
    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
  </component>
  <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
  <component name="MPSProject">
    <projectModules>
      <modulePath path="$PROJECT_DIR$/languages/TailRecursion/TailRecursion.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/memoize/memoize.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/Extensions.build/build.msd" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/TailRecursion.sandbox/TailRecursion.sandbox.msd" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.baseLanguage.memoize.sandbox/jetbrains.mps.baseLanguage.memoize.sandbox.msd" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.baseLanguage.memoize.util/util.msd" folder="" />
    </projectModules>
  </component>
  <component name="MigrationProperties">
    <entry key="jetbrains.mps.resaveModules" value="executed" />
    <entry key="jetbrains.mps.name2id_gen" value="executed" />
  </component>
  <component name="ProjectModuleManager">
    <modules />
  </component>
  <component name="ProjectRootManager" version="2" />
  <component name="ProjectVersion">
    <option name="version" value="3.0" />
  </component>
  <component name="VcsDirectoryMappings">
    <mapping directory="" vcs="Git" />
  </component>
</project>