| Size | # | Folders | Files | Lines | Code |
| 15 |
x 2 |
src/main/kotlin/org/arend/psi/extsrc/main/kotlin/org/arend/psi/ext |
|
52:72 (37%)45:65 (45%) |
view |
| 13 |
x 2 |
src/main/kotlin/org/arend/modulesrc/main/kotlin/org/arend/module/editor |
|
128:146 (6%)171:189 (7%) |
view |
| 8 |
x 2 |
src/main/kotlin/org/arend/modulesrc/main/kotlin/org/arend/module/editor |
|
110:119 (4%)159:168 (4%) |
view |
| 8 |
x 2 |
src/main/grammarssrc/main/grammars |
|
214:221 (2%)230:237 (2%) |
view |
| 8 |
x 2 |
src/main/kotlin/org/arend/modulesrc/main/kotlin/org/arend/module/editor |
|
150:159 (4%)196:205 (4%) |
view |
| 7 |
x 2 |
src/main/kotlin/org/arend/intentionsrc/main/kotlin/org/arend/intention |
|
41:48 (25%)113:120 (8%) |
view |
| 7 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
8:17 (63%)8:17 (63%) |
view |
| 7 |
x 2 |
src/main/kotlin/org/aren...ctoring/changeSignaturesrc/main/kotlin/org/aren...ctoring/changeSignature |
|
165:171 (4%)179:185 (4%) |
view |
| 7 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
13:22 (53%)8:17 (63%) |
view |
| 7 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
13:22 (53%)8:17 (63%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/search/proofsrc/main/kotlin/org/arend/search/proof |
|
145:150 (3%)166:171 (3%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
12:17 (60%)8:13 (75%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/navigationsrc/main/kotlin/org/arend/navigation |
|
27:32 (20%)25:30 (20%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
12:17 (60%)8:13 (75%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/actions/marksrc/main/kotlin/org/arend/actions/mark |
|
8:13 (75%)8:13 (75%) |
view |
| 6 |
x 2 |
src/main/grammarssrc/main/grammars |
|
181:186 (1%)200:205 (1%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/aren...changeSignature/entriessrc/main/kotlin/org/aren...changeSignature/entries |
|
102:107 (6%)68:73 (10%) |
view |
| 6 |
x 2 |
src/main/kotlin/org/arend/injection/actionssrc/main/kotlin/org/arend/injection/actions |
|
12:20 (66%)12:20 (66%) |
view |