Path	Lines of Code
README.md	39
gradle.properties	2
src/main/kotlin/org/arend/documentation/ArendDocumentationCommentUtil.kt	301
src/main/kotlin/org/arend/documentation/ArendDocumentationKeywordUtil.kt	243
src/main/kotlin/org/arend/documentation/ArendDocumentationLatexUtil.kt	67
src/main/kotlin/org/arend/documentation/ArendDocumentationLibHtmlUtil.kt	284
src/main/kotlin/org/arend/documentation/ArendDocumentationProvider.kt	315
src/main/kotlin/org/arend/documentation/ArendDocumentationUtil.kt	70
src/main/kotlin/org/arend/documentation/GenerateArendLibHtmlStarter.kt	21
src/main/resources/META-INF/pluginIcon.svg	29
src/main/resources/icons/arend.svg	32
src/main/resources/icons/arend_file.svg	10
src/main/resources/icons/checkmark.svg	3
src/main/resources/icons/constructor.svg	19
src/main/resources/icons/dataStructure.svg	4
src/main/resources/icons/field.svg	19
src/main/resources/icons/goal.svg	3
src/main/resources/icons/goal_dark.svg	3
src/main/resources/icons/moveLeft.svg	3
src/main/resources/icons/moveLeft_dark.svg	3
src/main/resources/icons/moveRight.svg	3
src/main/resources/icons/moveRight_dark.svg	3
src/main/resources/icons/not_show.svg	17
src/main/resources/icons/not_show_dark.svg	18
src/main/resources/icons/showFieldImpl.svg	6
src/main/resources/icons/showFieldImpl_dark.svg	6
src/main/resources/icons/showImplicits.svg	6
src/main/resources/icons/showImplicits_dark.svg	6
src/main/resources/icons/showNonImpl.svg	3
src/main/resources/icons/showNonImpl_dark.svg	3
src/main/resources/icons/toolWindowMessages.svg	7
src/main/resources/icons/toolWindowMessages_dark.svg	7
src/main/resources/icons/turnstile.svg	11
src/main/resources/jsonSchema/arend.yaml.json	62
src/main/resources/messages/ArendBundle.properties	185
src/test/kotlin/org/arend/documentation/ArendDocumentationCommentTest.kt	53
src/test/resources/org/arend/parser/fixtures/BareExprCommand.txt	7
src/test/resources/org/arend/parser/fixtures/ColonExprs.txt	235
src/test/resources/org/arend/parser/fixtures/MixedReplCommandAndColon.txt	12
src/test/resources/org/arend/parser/fixtures/MixedReplCommandAndColon2.txt	31
src/test/resources/org/arend/parser/fixtures/ReplTypeCommand.txt	9
src/test/resources/org/arend/parser/fixtures/SimpleDef.txt	17