-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathfrege-idea-plugin.iml
128 lines (128 loc) · 11.7 KB
/
frege-idea-plugin.iml
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<?xml version="1.0" encoding="UTF-8"?>
<module external.linked.project.id="frege-idea-plugin" external.linked.project.path="$MODULE_DIR$" external.root.project.path="$MODULE_DIR$" external.system.id="GRADLE" external.system.module.group="" external.system.module.version="unspecified" type="JAVA_MODULE" version="4">
<component name="DevKit.ModuleBuildProperties" url="file://$MODULE_DIR$/src/main/resources/META-INF/plugin.xml" />
<component name="NewModuleRootManager" inherit-compiler-output="false">
<output url="file://$MODULE_DIR$/build/classes/main" />
<output-test url="file://$MODULE_DIR$/build/classes/test" />
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/build/generatedSources" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/gen" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/src/main/java" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/src/test/java" isTestSource="true" />
<sourceFolder url="file://$MODULE_DIR$/src/main/resources" type="java-resource" />
<sourceFolder url="file://$MODULE_DIR$/src/test/resources" type="java-test-resource" />
<excludeFolder url="file://$MODULE_DIR$/.gradle" />
<excludeFolder url="file://$MODULE_DIR$/build/classes" />
<excludeFolder url="file://$MODULE_DIR$/build/dependency-cache" />
<excludeFolder url="file://$MODULE_DIR$/build/distributions" />
<excludeFolder url="file://$MODULE_DIR$/build/grammarKit" />
<excludeFolder url="file://$MODULE_DIR$/build/idea-sandbox" />
<excludeFolder url="file://$MODULE_DIR$/build/resources" />
<excludeFolder url="file://$MODULE_DIR$/build/tmp" />
<excludeFolder url="file://$MODULE_DIR$/build/tools" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="Gradle: com.jetbrains:annotations:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:asm-all:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:asm-commons:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:asm:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:asm4-all:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:automaton:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:boot:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:bootstrap:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:cglib-2.2.2:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:cli-parser-1.1:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:commons-codec-1.8:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:commons-httpclient-3.1-patched:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:commons-logging-1.1.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:commons-net-3.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:ecj-4.4:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:extensions:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:fluent-hc-4.3.6:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:forms_rt:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:freemarker:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:groovy-all-2.3.9:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:gson-2.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:guava-17.0:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:hamcrest-core-1.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:hamcrest-library-1.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:httpclient-4.3.6:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:httpcore-4.3.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:httpmime-4.3.6:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:icons:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:idea:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:idea_rt:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:isorelax:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:javac2:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jaxen-1.1.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jayatana-1.2.4:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jcip-annotations:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jdkAnnotations:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jdom:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jgoodies-common-1.2.1:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jgoodies-forms:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jgoodies-looks-2.4.2:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jh:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jing:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jna-utils:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jna:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jps-launcher:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jps-model:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jps-server:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch-0.1.51:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.connector-factory:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.core:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.pageant:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.sshagent:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.usocket-jna:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsch.agentproxy.usocket-nc:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsr166e:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jsr173_1.0_api:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:junit-4.11:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:junit:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:jzlib-1.1.1:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:log4j:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:markdown4j-2.2:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:markdownj-core-0.4.2-SNAPSHOT:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:microba:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:miglayout-swing:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:nanoxml-2.2.3:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:nekohtml-1.9.14:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:netty-all-4.1.0.Beta4:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:openapi:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:optimizedFileManager:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:oromatcher:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:picocontainer:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:protobuf-2.5.0:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:proxy-vole_20131209:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:pty4j-0.4.15:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:purejavacomm:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:resolver:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:resources:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:resources_en:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:rhino-js-1_7R4:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:rngom-20051226-patched:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:sanselan-0.98-snapshot:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:serviceMessages:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:slf4j-api-1.7.10:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:slf4j-log4j12-1.7.10:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:snappy-in-java-0.3.1:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:swingx-core-1.6.2:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:trang-core:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:trove4j:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:trove4j_src:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:util:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:velocity:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:winp-1.21-patched:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:xbean:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:xerces:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:xmlrpc-2.0:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:xpp3-1.1.4-min:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: com.jetbrains:xstream-1.4.3:14.1.4" level="project" />
<orderEntry type="library" scope="RUNTIME" name="Gradle: com.jetbrains:tools:14.1.4" level="project" />
<orderEntry type="library" name="Gradle: org.frege-lang:frege:3.23.370-g898bc8c" level="project" />
<orderEntry type="library" name="Gradle: org.eclipse.jdt.core.compiler:ecj:4.4.2" level="project" />
</component>
</module>