path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
settings.gradle.kts	2	4	2698	2139	5	3	2018-08-31	2020-03-12	chemike47@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt	177	30	2677	497	40	8	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/clazz/ArendFieldHNodeDescriptor.kt	19	1	1413	1413	1	1	2022-03-08	2022-03-08	fedor.part@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/hierarchy/clazz/ArendSubClassTreeStructure.kt	32	21	2677	1233	23	5	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/clazz/ArendSuperClassTreeStructure.kt	51	16	2677	1233	19	5	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyProvider.kt	20	5	2677	1217	5	2	2018-09-21	2022-09-20	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/ArendHierarchyNodeDescriptor.kt	39	12	2677	1233	14	4	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/call/ArendCalleeTreeStructure.kt	31	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/call/ArendCallerTreeStructure.kt	36	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyProvider.kt	21	2	2677	1366	2	1	2018-09-21	2022-04-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyBrowser.kt	33	9	2677	497	10	4	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/folding/ArendFoldingBuilder.kt	64	11	2383	893	11	4	2019-07-12	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/folding/ImportFoldingBuilder.kt	45	5	2383	1233	5	2	2019-07-12	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/editor/ArendColorSettingsPage.kt	55	4	2677	2011	5	2	2018-09-21	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/editor/ArendSmartKeysConfigurable.kt	32	9	2562	1366	10	3	2019-01-14	2022-04-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/editor/ArendSettingsView.kt	84	15	2336	1366	17	5	2019-08-28	2022-04-24	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/editor/ArendEditorTabColorProvider.kt	30	2	1725	1714	2	2	2021-04-30	2021-05-11	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/editor/ArendConfigurable.kt	19	6	2355	2336	9	3	2019-08-09	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/editor/ArendAutoImportConfigurable.kt	29	8	2393	1366	9	3	2019-07-02	2022-04-24	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/structure/ArendPsiStructureViewFactory.kt	17	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/structure/ArendStructureViewBuilderProvider.kt	14	1	423	423	1	1	2024-11-22	2024-11-22	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/structure/ArendStructureViewModel.kt	46	17	2677	349	18	7	2018-09-21	2025-02-04	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/ImpossibleEliminationQuickFix.kt	135	16	1947	1097	17	2	2020-09-20	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/ImplicitLambdaQuickFix.kt	36	6	998	893	7	4	2023-04-27	2023-08-10	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/ArendQuickFixesBase.kt	20	5	993	893	6	4	2023-05-02	2023-08-10	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/AddMissingArgumentsQuickFix.kt	45	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/implementCoClause/ImplementFieldsQuickFix.kt	262	13	2311	448	18	4	2019-09-22	2024-10-28	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/quickfix/implementCoClause/InstanceQuickFix.kt	117	13	2311	1233	16	3	2019-09-22	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt	25	4	2019	1252	4	2	2020-07-10	2022-08-16	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt	95	15	2311	448	18	5	2019-09-22	2024-10-28	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/quickfix/ExplicitnessQuickFix.kt	36	9	1047	893	9	4	2023-03-09	2023-08-10	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/MisplacedImportQuickFix.kt	31	9	2311	1097	12	2	2019-09-22	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/GoalFillingQuickFix.kt	18	7	2097	1233	8	4	2020-04-23	2022-09-04	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/FieldDependencyQuickFix.kt	29	4	1004	902	5	3	2023-04-21	2023-08-01	alex999990009@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt	341	73	2359	678	95	7	2019-08-05	2024-03-12	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/TruncatedDataQuickFix.kt	38	4	1012	902	5	3	2023-04-13	2023-08-01	alex999990009@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/quickfix/replacers/ReplaceFieldKindQuickFix.kt	20	3	1244	1097	4	1	2022-08-24	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/replacers/ReplaceSigmaFieldKindQuickFix.kt	17	3	1244	1097	4	1	2022-08-24	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/replacers/ReplaceAbsurdPatternQuickFix.kt	21	3	1510	1502	3	3	2021-12-01	2021-12-09	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/quickfix/replacers/ReplaceWithWildcardPatternQuickFix.kt	27	10	1510	893	12	4	2021-12-01	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/replacers/ReplaceFunctionKindQuickFix.kt	37	7	1510	1097	8	3	2021-12-01	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/FunctionArgInferenceQuickFix.kt	101	14	1038	502	15	4	2023-03-18	2024-09-04	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/InteractiveGoalSolverQuickFix.kt	56	15	2080	340	16	8	2020-05-10	2025-02-13	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/quickfix/HideImportQuickFix.kt	35	3	1721	1233	3	2	2021-05-04	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/AddReturnKeywordQuickFix.kt	25	5	993	893	5	4	2023-05-02	2023-08-10	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt	937	58	1947	678	72	4	2020-09-20	2024-03-12	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/SquashedDataQuickFix.kt	44	5	1014	902	5	3	2023-04-11	2023-08-01	alex999990009@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/quickfix/referenceResolve/ArendImportHintAction.kt	167	31	2359	340	41	9	2019-08-05	2025-02-13	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/quickfix/referenceResolve/ArendAddImportAction.kt	62	7	2359	1097	9	2	2019-08-05	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt	61	37	2359	612	44	7	2019-08-05	2024-05-17	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/LambdaInferenceQuickFix.kt	41	7	1021	893	7	4	2023-04-04	2023-08-10	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/AddTruncatedUniverseQuickFix.kt	51	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/DataUniverseQuickFix.kt	26	7	1036	607	7	4	2023-03-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/MakePatternExplicitQuickFix.kt	50	9	2360	1097	12	4	2019-08-04	2023-01-18	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedUniverseQuickFix.kt	21	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemovePatternsQuickFix.kt	84	9	2327	1097	11	3	2019-09-06	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveLevelQuickFix.kt	29	5	1028	902	6	3	2023-03-28	2023-08-01	alex999990009@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveNoClassifyingKeywordQuickFix.kt	20	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveStrictKeywordQuickFix.kt	20	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveArgumentQuickFix.kt	17	5	1981	1233	5	3	2020-08-17	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveClassifyingFieldQuickFix.kt	20	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveIgnoredLevelsQuickFix.kt	22	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveTupleExprQuickFix.kt	38	7	1980	1097	8	3	2020-08-18	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveAsPatternQuickFix.kt	26	10	2348	1097	12	3	2019-08-16	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveClauseQuickFix.kt	28	8	2348	1097	10	2	2019-08-16	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedKeywordQuickFix.kt	19	4	819	607	4	3	2023-10-23	2024-05-22	aleksei.luchinin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveCoClauseQuickFix.kt	29	11	2327	1097	13	3	2019-09-06	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemovePatternRightHandSideQuickFix.kt	20	9	2348	1097	11	2	2019-08-16	2023-01-18	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/removers/RemoveUseLevelQuickFix.kt	32	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/RenameDuplicateNameQuickFix.kt	51	16	2311	1233	18	5	2019-09-22	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/GoalSolverFillingQuickFix.kt	28	9	2080	1233	10	6	2020-05-10	2022-09-04	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/ElimSubstQuickFix.kt	88	8	1022	497	10	4	2023-04-03	2024-09-09	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/quickfix/instance/AddInstanceArgumentQuickFix.kt	74	12	1730	678	13	4	2021-04-25	2024-03-12	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/instance/AddRecursiveInstanceArgumentQuickFix.kt	39	2	609	607	2	2	2024-05-20	2024-05-22	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/instance/ReplaceWithLocalInstanceQuickFix.kt	57	8	1716	678	9	3	2021-05-09	2024-03-12	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt	111	20	1765	612	25	4	2021-03-21	2024-05-17	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/quickfix/ImplicitnessQuickFix.kt	22	7	1046	902	7	3	2023-03-10	2023-08-01	alex999990009@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/parser/ArendDocParser.kt	135	8	2034	706	15	5	2020-06-25	2024-02-13	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/parser/ArendParserDefinition.kt	136	13	2677	851	16	4	2018-09-21	2023-09-21	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/graph/GraphSimulator.kt	156	11	767	497	18	3	2023-12-14	2024-09-09	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ArendImplementationTextSelectioner.kt	32	9	2677	893	9	3	2018-09-21	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ArendBraceMatcher.kt	31	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt	98	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchCompilingExecutor.kt	9	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchFileCreationHelper.kt	39	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/Utils.kt	17	2	360	340	2	1	2025-01-24	2025-02-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchFile.kt	31	2	360	340	2	1	2025-01-24	2025-02-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchModuleService.kt	12	1	340	340	1	1	2025-02-13	2025-02-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchFileModuleInfoProvider.kt	38	2	360	340	2	1	2025-01-24	2025-02-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchFileLanguageProvider.kt	12	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt	15	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt	239	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/actions/ArendScratchAction.kt	24	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/actions/ArendStopScratchAction.kt	18	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/actions/ArendClearScratchAction.kt	13	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt	81	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/debug/ArendPositionManagerFactory.kt	11	1	2031	2031	1	1	2020-06-28	2020-06-28	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt	11	3	2031	601	7	4	2020-06-28	2024-05-28	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/psi/ArendTokenType.kt	25	53	2677	685	61	7	2018-09-21	2024-03-05	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/psi/ArendFile.kt	178	92	2677	500	122	10	2018-09-21	2024-09-06	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/psi/ClassReferenceHolder.kt	13	6	2658	2363	6	3	2018-10-10	2019-08-01	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/StubIndexing.kt	68	12	2677	1939	16	5	2018-09-21	2020-09-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/psi/stubs/StubInterfaces.kt	6	3	2677	2197	3	1	2018-09-21	2020-01-14	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/ArendStubElementType.kt	75	7	2677	2058	7	5	2018-09-21	2020-06-01	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/psi/stubs/StubImplementations.kt	154	26	2677	1233	34	6	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/index/ArendDefinitionIndex.kt	13	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/index/ArendFileIndex.kt	13	4	1944	1457	6	4	2020-09-23	2022-01-23	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/index/ArendGotoClassIndex.kt	13	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/stubs/index/ArendNamedElementIndex.kt	13	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt	59	3	1118	851	4	2	2022-12-28	2023-09-21	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/psi/ArendFileScope.kt	17	4	1488	396	4	4	2021-12-23	2024-12-19	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/psi/ArendCompositeElementType.kt	4	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ArendPsiFactory.kt	167	85	2677	502	95	11	2018-09-21	2024-09-04	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt	38	20	1939	497	25	7	2020-09-28	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/listener/ArendDefinitionChangeListener.kt	6	6	2320	1939	6	3	2019-09-13	2020-09-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/psi/ext/ArendLevelsExpr.kt	15	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt	55	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendElim.kt	13	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt	64	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAtomOnlyLevelExpr.kt	21	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendArrExpr.kt	14	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendFunctionDefinition.kt	48	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendCoClause.kt	16	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendTopLevelLevelExpr.kt	14	3	1279	1233	3	1	2022-07-20	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/PsiLocatedReferable.kt	37	23	2677	1097	25	3	2018-09-21	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendTuple.kt	14	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendIdentifierOrUnknown.kt	7	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendReferenceElement.kt	5	10	2677	1588	12	5	2018-09-21	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/psi/ext/ArendTele.kt	67	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLamExpr.kt	18	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendOnlyLevelExpr.kt	18	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLongName.kt	31	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendPattern.kt	38	5	1233	893	6	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLevelCmp.kt	9	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendSigmaExpr.kt	10	2	1233	1194	2	1	2022-09-04	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendClassStat.kt	24	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefData.kt	55	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLamParam.kt	6	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendTypedExpr.kt	10	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendFunctionBody.kt	25	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendSuperClass.kt	14	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAppPrefix.kt	18	2	1233	1196	2	1	2022-09-04	2022-10-11	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendNsUsing.kt	15	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/PsiReferable.kt	75	20	2677	581	21	5	2018-09-21	2024-06-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLetClause.kt	20	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendStatAccessMod.kt	10	4	958	893	4	2	2023-06-06	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendConstructor.kt	47	5	1233	623	6	2	2022-09-04	2024-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendConstructorClause.kt	11	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefModule.kt	34	7	1233	893	8	2	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendClause.kt	14	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefMeta.kt	45	7	1233	425	8	2	2022-09-04	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendArgument.kt	56	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendCaseExpr.kt	30	4	1233	893	4	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendClassImplement.kt	36	3	1233	942	3	2	2022-09-04	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAtom.kt	27	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendNewExpr.kt	54	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/TCDefinition.kt	5	5	2234	1939	5	3	2019-12-08	2020-09-28	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/psi/ext/ArendLevelExpr.kt	16	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDataBody.kt	12	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt	98	8	1233	893	9	2	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendClassField.kt	58	5	1233	623	6	2	2022-09-04	2024-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendGroup.kt	34	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendStatCmd.kt	42	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLevelParamsSeq.kt	13	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendGoal.kt	9	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLetExpr.kt	19	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAtomFieldsAcc.kt	21	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendFunctionClauses.kt	11	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendMaybeAtomLevelExpr.kt	7	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAccessMod.kt	14	3	958	942	3	2	2023-06-06	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendExpr.kt	16	2	1233	1194	2	1	2022-09-04	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendFieldDefIdentifier.kt	65	5	1233	623	5	2	2022-09-04	2024-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/Identifiers.kt	193	63	2677	893	73	7	2018-09-21	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendDefClass.kt	77	4	1233	717	5	1	2022-09-04	2024-02-02	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt	127	65	2677	340	71	8	2018-09-21	2025-02-13	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendCaseArg.kt	19	4	1233	893	4	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLocalCoClause.kt	16	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendPiExpr.kt	13	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendReturnExpr.kt	13	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendUniverseExpr.kt	10	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendArgumentAppExpr.kt	19	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendWhere.kt	15	2	1233	1231	2	1	2022-09-04	2022-09-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendOverriddenField.kt	14	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendNsId.kt	21	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAppExpr.kt	7	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/PsiConcreteReferable.kt	7	8	2677	1277	9	3	2018-09-21	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendTupleExpr.kt	24	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/CoClauseBase.kt	44	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendPrec.kt	8	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendReferenceContainer.kt	10	7	2188	2029	9	5	2020-01-23	2020-06-30	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAtomLevelExpr.kt	34	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendCoClauseDef.kt	61	4	1233	1097	6	1	2022-09-04	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendWithBody.kt	15	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendIPName.kt	83	1	1233	1233	1	1	2022-09-04	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ReferableBase.kt	116	10	1233	893	12	2	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendStat.kt	20	5	1233	893	5	2	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAlias.kt	9	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendReplLine.kt	11	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendMaybeAtomLevelExprs.kt	10	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLongNameExpr.kt	27	3	1233	893	3	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendAsPattern.kt	9	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/ArendLiteral.kt	34	2	1233	893	2	1	2022-09-04	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/ext/Universes.kt	54	9	2677	893	11	4	2018-09-21	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/doc/ArendDocCodeBlock.kt	4	1	2031	2031	1	1	2020-06-28	2020-06-28	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/doc/ArendDocReferenceText.kt	4	1	2031	2031	1	1	2020-06-28	2020-06-28	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/doc/ArendDocComment.kt	30	8	2034	1097	12	3	2020-06-25	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/doc/ArendDocReference.kt	18	4	2031	893	4	1	2020-06-28	2023-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/PsiElementUtils.kt	383	97	2677	497	128	10	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/psi/SourceInfoErrorData.kt	12	2	2220	2194	2	2	2019-12-22	2020-01-17	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/lexer/ArendLexerAdapter.kt	3	3	2677	2033	4	3	2018-09-21	2020-06-26	valery.isaev@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/lexer/ArendDocLexerAdapter.kt	4	2	2034	2033	3	3	2020-06-25	2020-06-26	ice1000kotlin@foxmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/highlight/TypecheckerPass.kt	46	24	2398	497	29	6	2019-06-27	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/EmptyHighlightingPass.kt	12	3	2403	2000	3	2	2019-06-22	2020-07-29	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendProblemHighlightFilter.kt	8	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPassFactory.kt	21	4	839	497	5	3	2023-10-03	2024-09-09	aleksei.luchinin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendSyntaxHighlighterFactory.kt	11	4	2677	458	4	3	2018-09-21	2024-10-18	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPass.kt	49	5	839	497	7	3	2023-10-03	2024-09-09	aleksei.luchinin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/RedundantParensPass.kt	79	4	868	497	5	3	2023-09-04	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/BasePass.kt	633	161	2398	458	214	11	2019-06-27	2024-10-18	valery.isaev@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/highlight/BasePassFactory.kt	30	8	2398	762	9	4	2019-06-27	2023-12-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt	243	98	2404	340	123	10	2019-06-21	2025-02-13	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPass.kt	54	3	790	497	4	3	2023-11-21	2024-09-09	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendHighlightingPassFactory.kt	34	23	2404	497	28	6	2019-06-21	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendRainbowVisitor.kt	41	7	1944	1097	9	3	2020-09-23	2023-01-18	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPass.kt	88	16	1449	360	22	5	2022-01-31	2025-01-24	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPassFactory.kt	21	3	790	497	4	3	2023-11-21	2024-09-09	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendTargetElementEvaluator.kt	19	5	2009	497	7	4	2020-07-20	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/TypecheckerPassFactory.kt	26	22	2398	497	23	7	2019-06-27	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/RedundantParensPassFactory.kt	21	2	868	497	3	2	2023-09-04	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendPassFactoryService.kt	9	4	2110	497	5	3	2020-04-10	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendHighlightingColors.kt	41	15	2677	766	16	9	2018-09-21	2023-12-15	valery.isaev@gmail.com	623606+valis@users.noreply.github.com
src/main/kotlin/org/arend/highlight/ArendSyntaxHighlighter.kt	44	21	2677	685	26	7	2018-09-21	2024-03-05	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPassFactory.kt	20	4	1449	1097	6	2	2022-01-31	2023-01-18	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/highlight/ArendChangeLocalityDetector.kt	12	3	2403	2013	3	2	2019-06-22	2020-07-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/navigation/ArendNavigationContributorBase.kt	44	6	2677	1142	6	3	2018-09-21	2022-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt	99	5	423	349	5	2	2024-11-22	2025-02-04	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/navigation/ArendFileNavigationContributor.kt	48	2	1714	1694	3	2	2021-05-11	2021-05-31	marat.khabibullin@jetbrains.com	623606+valis@users.noreply.github.com
src/main/kotlin/org/arend/navigation/Utils.kt	32	2	2677	579	3	3	2018-09-21	2024-06-19	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/navigation/ArendSymbolNavigationContributor.kt	26	6	2677	1694	6	3	2018-09-21	2021-05-31	valery.isaev@gmail.com	623606+valis@users.noreply.github.com
src/main/kotlin/org/arend/navigation/ArendClassNavigationContributor.kt	11	7	2677	1588	7	4	2018-09-21	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt	122	52	2677	942	57	5	2018-09-21	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/resolving/IntellijTCLevelReferable.kt	20	4	1118	572	5	3	2022-12-28	2024-06-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/resolving/ArendReference.kt	279	103	2677	340	123	9	2018-09-21	2025-02-13	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/resolving/ArendResolverListener.kt	108	24	2012	1015	29	3	2020-07-17	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/DataLocatedReferable.kt	83	38	2677	572	39	7	2018-09-21	2024-06-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/resolving/BaseReferableConverter.kt	7	7	2122	1233	7	4	2020-03-29	2022-09-04	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/ArendResolveCache.kt	75	32	2677	497	37	8	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/IntellijTCReferable.kt	8	4	1118	572	5	3	2022-12-28	2024-06-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/resolving/IntellijMetaReferable.kt	21	7	1118	572	8	4	2022-12-28	2024-06-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/resolving/util/TypingUtil.kt	32	4	1947	1194	4	2	2020-09-20	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/util/BinOpParser.kt	86	22	1947	612	22	9	2020-09-20	2024-05-17	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt	136	15	1947	1233	15	2	2020-09-20	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/util/ClassesUtil.kt	36	6	1947	1233	7	2	2020-09-20	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/resolving/ArendReferableConverter.kt	12	30	2677	1281	31	6	2018-09-21	2022-07-18	valery.isaev@gmail.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt	133	14	2623	413	19	7	2018-11-14	2024-12-02	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt	48	5	2642	1243	6	5	2018-10-26	2022-08-25	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/formatting/ArendFormattingModelBuilder.kt	20	10	2650	1784	10	3	2018-10-18	2021-03-02	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt	56	21	2642	1233	25	3	2018-10-26	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/formatting/block/GroupBlock.kt	32	16	2642	1233	19	3	2018-10-26	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt	392	103	2650	685	147	9	2018-10-18	2024-03-05	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/formatting/block/ArgumentAppExprBlock.kt	109	28	2635	892	32	6	2018-11-02	2023-08-11	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/formatting/block/CommentPieceBlock.kt	15	1	2510	2510	1	1	2019-03-07	2019-03-07	sxh@ya.ru	sxh@ya.ru
src/main/kotlin/org/arend/formatting/ArendCodeStyleImportsPanelWrapper.kt	83	9	1450	581	11	3	2022-01-30	2024-06-17	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/formatting/ArendBackspaceDisabler.kt	8	2	2623	2614	2	2	2018-11-14	2018-11-23	sxh@ya.ru	fedor.part@gmail.com
src/main/kotlin/org/arend/ArendStartupActivity.kt	46	59	2677	398	75	9	2018-09-21	2024-12-17	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/refactoring/move/MoveRefactoringSignatureContext.kt	7	1	612	612	1	1	2024-05-17	2024-05-17	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/move/ArendLongNameCodeFragment.kt	32	1	851	851	1	1	2023-09-21	2023-09-21	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt	55	15	2554	596	15	3	2019-01-22	2024-06-02	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt	591	37	2043	581	41	6	2020-06-16	2024-06-17	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt	206	57	2554	570	75	7	2019-01-22	2024-06-28	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt	313	37	2075	340	43	8	2020-05-15	2025-02-13	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt	192	1	697	697	1	1	2024-02-22	2024-02-22	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt	132	26	1627	497	30	4	2021-08-06	2024-09-09	sloboegen98@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt	74	23	1630	581	28	4	2021-08-03	2024-06-17	sloboegen98@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDescriptor.kt	16	6	1329	697	6	2	2022-05-31	2024-02-22	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUsageProcessor.kt	81	14	1630	612	14	5	2021-08-03	2024-05-17	sloboegen98@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ChangeSignatureRefactoringDescriptor.kt	397	4	697	497	5	2	2024-02-22	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendUsageInfo.kt	55	4	939	497	5	2	2023-06-25	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialogParameter.kt	15	5	1161	893	5	3	2022-11-15	2023-08-10	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt	348	41	1630	581	53	5	2021-08-03	2024-06-17	sloboegen98@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialogParameterTableModelItem.kt	9	7	1161	697	9	3	2022-11-15	2024-02-22	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt	337	26	1630	497	29	5	2021-08-03	2024-09-09	sloboegen98@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureHandler.kt	50	10	1630	697	10	4	2021-08-03	2024-02-22	sloboegen98@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt	34	1	697	697	1	1	2024-02-22	2024-02-22	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt	128	2	612	604	2	1	2024-05-17	2024-05-25	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/NoArgumentsEntry.kt	11	4	939	604	4	1	2023-06-25	2024-05-25	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/CoClauseEntry.kt	78	3	678	604	3	1	2024-03-12	2024-05-25	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt	279	6	939	604	6	1	2023-06-25	2024-05-25	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/AppExpressionEntry.kt	29	3	939	612	3	1	2023-06-25	2024-05-17	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/entries/PatternEntry.kt	28	3	939	612	3	1	2023-06-25	2024-05-17	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/DoubleStringBuilder.kt	13	1	612	612	1	1	2024-05-17	2024-05-17	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt	226	9	1630	581	9	3	2021-08-03	2024-06-17	sloboegen98@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/PsiLocatedRenamer.kt	26	7	2064	612	9	6	2020-05-26	2024-05-17	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/ArendNamesValidator.kt	24	9	2677	685	10	6	2018-09-21	2024-03-05	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt	61	14	2656	1233	18	4	2018-10-12	2022-09-04	fedor.part@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/ArendRenameInputValidator.kt	13	3	2677	971	3	2	2018-09-21	2023-05-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/rename/ArendAliasNameSuggestionProvider.kt	18	5	2069	1233	5	5	2020-05-21	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt	255	21	2069	413	24	7	2020-05-21	2024-12-02	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt	297	68	2158	418	102	9	2020-02-22	2024-11-27	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt	35	5	2658	762	7	3	2018-10-10	2023-12-19	fedor.part@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt	743	122	2537	612	171	10	2019-02-08	2024-05-17	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/refactoring/ArendRenameModuleHandler.kt	51	2	2524	1142	2	2	2019-02-21	2022-12-04	fedor.part@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/refactoring/ArendRefactoringSupportProvider.kt	15	11	2677	895	12	6	2018-09-21	2023-08-08	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt	88	8	1725	971	9	4	2021-04-30	2023-05-24	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaEnabler.kt	9	2	2154	2152	3	3	2020-02-26	2020-02-28	valery.isaev@gmail.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaProvider.kt	25	1	2154	2154	2	2	2020-02-26	2020-02-26	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaProviderFactory.kt	7	3	2154	1588	4	3	2020-02-26	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/yaml/Utils.kt	109	19	2157	670	19	8	2020-02-23	2024-03-20	ice1000kotlin@foxmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/yaml/YamlNotificationProvider.kt	67	5	679	438	7	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/yaml/YamlFileService.kt	142	7	679	437	9	3	2024-03-11	2024-11-08	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/yaml/codeInsight/YAMLReferenceContributor.kt	73	7	2154	2104	16	3	2020-02-26	2020-04-16	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/yaml/codeInsight/YAMLCompletionContributor.kt	90	6	2157	2104	16	3	2020-02-23	2020-04-16	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/yaml/codeInsight/YAMLHighlightingAnnotator.kt	24	3	2157	2104	3	3	2020-02-23	2020-04-16	ice1000kotlin@foxmail.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/yaml/YAMLFileListener.kt	69	13	2157	438	14	5	2020-02-23	2024-11-07	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/ArendLibraryResolver.kt	31	21	2677	1142	24	5	2018-09-21	2022-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunConfigurationEditor.kt	87	10	2677	564	15	3	2018-09-21	2024-07-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/PsiElementComparator.kt	33	6	2622	1939	6	4	2018-11-15	2020-09-28	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/typechecking/execution/TypeCheckProcessHandler.kt	271	73	2677	497	85	7	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt	239	15	2677	581	17	6	2018-09-21	2024-06-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunner.kt	11	2	2677	2100	2	2	2018-09-21	2020-04-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckConfiguration.kt	89	15	2677	570	17	6	2018-09-21	2024-06-28	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunConfigurationModule.kt	4	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/configurations/ArendRunConfigurationFactory.kt	16	2	2347	2104	2	1	2019-08-17	2020-04-16	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/typechecking/execution/configurations/TypecheckRunConfigurationType.kt	8	1	2347	2347	1	1	2019-08-17	2019-08-17	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunState.kt	149	11	2677	564	13	7	2018-09-21	2024-07-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt	36	25	2677	360	30	6	2018-09-21	2025-01-24	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/execution/DefinitionProxy.kt	25	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypecheckRunConfigurationProducer.kt	56	11	2347	570	15	6	2019-08-17	2024-06-28	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/execution/TypeCheckCommand.kt	7	2	2677	570	3	3	2018-09-21	2024-06-28	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/PsiInstanceProviderSet.kt	23	9	2677	1282	11	2	2018-09-21	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt	40	1	497	497	2	1	2024-09-09	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/ArendExtensionChangeListener.kt	47	11	2125	497	13	5	2020-03-26	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/BackgroundTypechecker.kt	97	17	1938	741	25	4	2020-09-29	2024-01-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/TypecheckingTaskQueue.kt	50	7	1937	497	10	3	2020-09-30	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/ArendTypechecking.kt	39	23	2329	1588	26	4	2019-09-04	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt	91	22	2351	497	34	7	2019-08-13	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/error/ArendError.kt	23	14	2344	1457	14	5	2019-08-20	2022-01-23	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt	47	16	2657	1611	18	5	2018-10-11	2021-08-22	valery.isaev@gmail.com	sloboegen98@ya.ru
src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt	68	16	2314	581	17	8	2019-09-19	2024-06-17	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/error/ParserError.kt	15	4	2677	2194	4	2	2018-09-21	2020-01-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/error/PsiSourceInfo.kt	32	4	2677	2053	4	2	2018-09-21	2020-06-06	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/typechecking/error/ErrorService.kt	150	30	2344	497	40	6	2019-08-20	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt	131	29	2677	783	31	6	2018-09-21	2023-11-28	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/ProgressCancellationIndicator.kt	9	1	1994	1994	1	1	2020-08-04	2020-08-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/ArendExpressionTypechecker.kt	34	6	546	496	8	2	2024-07-22	2024-09-10	sinchukss@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/typechecking/DefinitionBlacklistService.kt	32	11	2349	497	15	3	2019-08-15	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt	404	155	2677	497	199	10	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/typechecking/ModificationCancellationIndicator.kt	9	3	1938	1936	3	2	2020-09-29	2020-10-01	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/typechecking/TestBasedTypechecking.kt	44	32	2677	1097	37	4	2018-09-21	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/settings/ArendProjectSettingsState.kt	53	38	2308	1367	45	7	2019-09-25	2022-04-23	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/settings/ArendCustomCodeStyleSettings.kt	18	3	1450	1375	3	1	2022-01-30	2022-04-15	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/settings/ArendProjectStatistics.kt	8	1	448	448	1	1	2024-10-28	2024-10-28	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/settings/ArendProjectSettings.kt	129	25	2340	497	30	6	2019-08-24	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/settings/ArendSettings.kt	40	12	2340	1560	15	5	2019-08-24	2021-10-12	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/search/ClassDescendantsSearch.kt	96	13	2050	497	16	4	2020-06-09	2024-09-09	fedor.part@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt	595	31	1526	425	60	5	2021-11-15	2024-11-20	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/proof/ArendProofSearchRenderer.kt	204	18	1526	581	33	5	2021-11-15	2024-06-17	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/search/proof/GearActionGroup.kt	72	12	1519	360	15	5	2021-11-22	2025-01-24	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/proof/ArendExpressionMatcher.kt	236	16	1511	489	26	5	2021-11-30	2024-09-17	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/proof/ArendProofSearchAction.kt	14	9	1525	535	11	5	2021-11-16	2024-08-02	konstantin.nisht@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt	170	4	1441	1429	4	1	2022-02-08	2022-02-20	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt	78	13	1520	579	19	5	2021-11-21	2024-06-19	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt	245	28	1526	489	43	5	2021-11-15	2024-09-17	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/proof/ShowHelpAction.kt	19	5	1434	350	6	3	2022-02-15	2025-02-03	konstantin.nisht@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/search/proof/ProofSearchService.kt	106	9	1526	1413	12	3	2021-11-15	2022-03-08	konstantin.nisht@jetbrains.com	fedor.part@gmail.com
src/main/kotlin/org/arend/search/ArendFindUsagesProvider.kt	35	12	2677	1026	12	6	2018-09-21	2023-03-30	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/search/ArendCustomSearcher.kt	99	19	2677	553	23	10	2018-09-21	2024-07-15	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/ArendUsageTypeProvider.kt	104	27	2516	1175	27	5	2019-03-01	2022-11-01	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/search/ArendWordScanner.kt	76	8	2677	553	10	7	2018-09-21	2024-07-15	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/search/ArendGroupRuleProviders.kt	42	11	2677	1233	12	4	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/tracer/ArendTracingTypechecker.kt	33	6	1453	643	6	3	2022-01-27	2024-04-16	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/tracer/ArendTraceAction.kt	181	12	1453	535	14	5	2022-01-27	2024-08-02	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/tracer/ArendTraceSyntheticError.kt	32	3	1386	643	3	2	2022-04-04	2024-04-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt	231	9	1453	349	13	4	2022-01-27	2025-02-04	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/tracer/ArendTraceContextView.kt	27	4	1453	1375	6	2	2022-01-27	2022-04-15	marat.khabibullin@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt	109	11	1453	349	15	4	2022-01-27	2025-02-04	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/tracer/ArendTrace.kt	41	3	1453	1425	4	1	2022-01-27	2022-02-24	marat.khabibullin@jetbrains.com	marat.khabibullin@jetbrains.com
src/main/kotlin/org/arend/annotation/ArendHighlightRangeExtension.kt	7	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ArendFileType.kt	10	5	2677	581	6	2	2018-09-21	2024-06-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/IArendFile.kt	9	3	1161	939	3	1	2022-11-15	2023-06-25	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendPopupHandler.kt	56	7	1947	831	7	6	2020-09-20	2023-10-11	ice1000kotlin@foxmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendTypedHandler.kt	115	23	2660	453	32	7	2018-10-08	2024-10-23	fedor.part@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt	74	64	2677	664	74	9	2018-09-21	2024-03-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendDeclarationRangeHandler.kt	18	7	2677	1233	7	4	2018-09-21	2022-09-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/hints/ArendAxiomsInlayProvider.kt	22	5	1243	1097	7	1	2022-08-25	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt	50	4	1111	497	6	1	2023-01-04	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/hints/ArendGoalsInlayProvider.kt	23	3	1111	1096	4	1	2023-01-04	2023-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt	121	8	1244	497	11	2	2022-08-24	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt	556	6	697	497	8	2	2024-02-22	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendStringQuoteHandler.kt	5	3	1947	1945	3	3	2020-09-20	2020-09-22	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt	581	31	1463	458	72	5	2022-01-17	2024-10-18	konstantin.nisht@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt	232	5	697	612	5	1	2024-02-22	2024-05-17	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/completion/Constants.kt	49	47	2545	580	50	7	2019-01-31	2024-06-18	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/completion/ArendNoVariantsDelegator.kt	123	28	2008	851	41	4	2020-07-21	2023-09-21	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionConfidence.kt	11	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/completion/ReplaceInsertHandler.kt	13	4	2084	2058	4	3	2020-05-06	2020-06-01	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/codeInsight/completion/ArendPatterns.kt	27	5	2510	1305	5	3	2019-03-07	2022-06-24	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt	732	115	2677	497	157	8	2018-09-21	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/codeInsight/ArendCharFilter.kt	18	3	2677	1588	3	2	2018-09-21	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/codeInsight/ArendLineMarkerProvider.kt	43	20	2331	563	21	8	2019-09-02	2024-07-05	fedor.part@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/commenter/ArendCommenter.kt	21	11	2677	500	13	6	2018-09-21	2024-09-06	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/notification/FileOutsideSourcesProvider.kt	38	8	669	350	10	2	2024-03-21	2025-02-03	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/AbstractGenerateFunctionIntention.kt	261	23	1601	497	34	5	2021-09-01	2024-09-09	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/SwapInfixOperatorArgumentsIntention.kt	37	7	1746	1233	7	5	2021-04-09	2022-09-04	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt	121	18	1704	486	21	10	2021-05-21	2024-09-20	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/ReplaceWithNormalFormIntention.kt	32	19	2150	418	26	7	2020-03-01	2024-11-27	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/ReplaceBracketsIntention.kt	63	5	678	497	8	3	2024-03-12	2024-09-09	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/ImplementFieldsInCoClauseIntention.kt	28	16	2507	1233	18	4	2019-03-10	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/ReplaceWithShortNameIntention.kt	29	8	1735	1233	9	3	2021-04-20	2022-09-04	sxh@ya.ru	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt	283	21	1576	413	37	7	2021-09-26	2024-12-02	konstantin.nisht@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/generating/LetWrappingOptionEditorRenderer.kt	68	7	1576	764	11	4	2021-09-26	2023-12-17	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesIntention.kt	18	3	504	493	4	2	2024-09-02	2024-09-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesUtils.kt	53	3	504	493	4	2	2024-09-02	2024-09-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt	83	1	1560	1560	3	3	2021-10-12	2021-10-12	sxh@ya.ru	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/intention/generating/GenerateElimMissingClausesIntention.kt	44	3	504	493	4	2	2024-09-02	2024-09-13	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/SelfTargetingIntention.kt	86	15	2660	502	18	7	2018-10-08	2024-09-04	fedor.part@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/binOp/CaretHelper.kt	23	3	1704	1623	3	3	2021-05-21	2021-08-10	marat.khabibullin@jetbrains.com	sloboegen98@ya.ru
src/main/kotlin/org/arend/intention/binOp/BinOpIntentionUtil.kt	32	12	1704	878	14	7	2021-05-21	2023-08-25	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/binOp/BinOpSeqProcessor.kt	72	7	1704	794	7	6	2021-05-21	2023-11-17	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/ChangeArgumentExplicitnessIntention.kt	54	43	1607	664	62	6	2021-08-26	2024-03-26	sloboegen98@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/ExtractExpressionToFunctionIntention.kt	46	12	1601	418	16	7	2021-09-01	2024-11-27	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/GenerateFunctionFromGoalIntention.kt	137	17	1601	418	21	7	2021-09-01	2024-11-27	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt	589	101	2342	418	130	8	2019-08-22	2024-11-27	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/SelectionIntention.kt	46	2	2095	426	2	2	2020-04-25	2024-11-19	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/ArendOptimizeImportsQuickFix.kt	16	2	1449	1446	2	1	2022-01-31	2022-02-03	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/intention/ReplaceMetaWithResultIntention.kt	45	25	2118	418	29	7	2020-04-02	2024-11-27	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/WrapInGoalIntention.kt	27	8	2101	433	10	5	2020-04-19	2024-11-12	ice1000kotlin@foxmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/intention/BaseArendIntention.kt	15	2	2095	2076	3	2	2020-04-25	2020-05-14	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/intention/ArendIntentionUtils.kt	7	1	418	418	1	1	2024-11-27	2024-11-27	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt	49	8	1704	868	9	7	2021-05-21	2023-09-04	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/liveTemplates/ArendTemplateContextType.kt	32	7	1460	360	8	6	2022-01-20	2025-01-24	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationEditor.kt	60	15	2329	438	18	6	2019-09-04	2024-11-07	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/editor/ArendModuleConfigEditorProvider.kt	10	8	2329	817	11	5	2019-09-04	2023-10-25	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt	261	34	2329	563	46	7	2019-09-04	2024-07-05	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/AllArendFilesScope.kt	73	4	664	570	6	2	2024-03-26	2024-06-28	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/UpgradeArendLibrary.kt	82	14	1949	817	21	6	2020-09-18	2023-10-25	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/ArendRawSource.kt	11	9	2677	748	9	5	2018-09-21	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ArendModuleBuilder.kt	263	12	2328	762	19	5	2019-09-05	2023-12-19	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ArendLibraryType.kt	53	25	2614	971	29	7	2018-11-23	2023-05-24	fedor.part@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ModuleSynchronizer.kt	154	14	2326	762	20	6	2019-09-07	2023-12-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ReloadLibrariesAction.kt	13	12	2196	535	15	5	2020-01-15	2024-08-02	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/orderRoot/ArendConfigOrderRootType.kt	8	2	2330	971	2	1	2019-09-03	2023-05-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/orderRoot/ArendConfigOrderRootTypeUIFactory.kt	10	1	2330	2330	1	1	2019-09-03	2019-09-03	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/orderRoot/ArendLibraryRootsComponentDescriptor.kt	34	7	2330	581	8	3	2019-09-03	2024-06-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/orderRoot/ArendConfigRootDetector.kt	15	4	2330	971	4	2	2019-09-03	2023-05-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/starter/ArendStarterSettings.kt	3	2	832	831	3	2	2023-10-10	2023-10-11	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/starter/ArendCommonStarterInitialStep.kt	168	5	832	360	6	4	2023-10-10	2025-01-24	sinchukss@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt	261	5	832	411	7	3	2023-10-10	2024-12-04	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt	57	2	832	831	3	2	2023-10-10	2023-10-11	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/starter/ArendCommonStarterContext.kt	32	2	832	831	3	2	2023-10-10	2023-10-11	sinchukss@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/starter/ArendStarterInitialStep.kt	207	3	832	762	5	3	2023-10-10	2023-12-19	sinchukss@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt	364	2	832	831	5	2	2023-10-10	2023-10-11	sinchukss@gmail.com	aleksei.luchinin@jetbrains.com
src/main/kotlin/org/arend/module/starter/ArendStarterUtils.kt	135	4	832	644	8	3	2023-10-10	2024-04-15	aleksei.luchinin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/ArendRawLibrary.kt	194	79	2677	748	97	6	2018-09-21	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/IntellijBinarySource.kt	41	8	1950	1588	10	3	2020-09-17	2021-09-14	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/module/ModuleScope.kt	82	27	2677	581	31	7	2018-09-21	2024-06-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ArendPreludeScope.kt	20	2	664	663	2	2	2024-03-26	2024-03-27	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/config/ArendModuleConfigurationUpdater.kt	82	14	2328	762	16	6	2019-09-05	2023-12-19	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/config/LibraryConfig.kt	210	52	2537	570	62	9	2019-02-08	2024-06-28	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/config/ArendModuleStructureExtension.kt	15	1	817	817	2	2	2023-10-25	2023-10-25	sinchukss@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/config/EmptyLibraryConfig.kt	7	6	2537	1947	7	3	2019-02-08	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/module/config/ExternalLibraryConfig.kt	30	27	2537	1560	32	4	2019-02-08	2021-10-12	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt	254	61	2537	438	78	8	2019-02-08	2024-11-07	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/module/config/ArendModuleConfiguration.kt	74	9	2328	1560	9	4	2019-09-05	2021-10-12	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/module/IntellijClassLoaderDelegate.kt	18	4	1950	1110	4	2	2020-09-17	2023-01-05	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt	68	28	2677	663	30	8	2018-09-21	2024-03-27	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/ArendFakeRawSource.kt	11	7	2677	748	7	3	2018-09-21	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/module/ArendModuleType.kt	15	13	2677	831	14	5	2018-09-21	2023-10-11	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/module/AllModulesScope.kt	22	3	664	570	4	2	2024-03-26	2024-06-28	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt	197	4	1463	1196	4	2	2022-01-17	2022-10-11	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/inspection/ArendInspectionBase.kt	11	4	1573	1142	5	4	2021-09-29	2022-12-04	623606+valis@users.noreply.github.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/inspection/UnresolvedArendPatternInspection.kt	64	3	559	396	3	2	2024-07-09	2024-12-19	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt	191	34	1656	493	49	9	2021-07-08	2024-09-13	marat.khabibullin@jetbrains.com	sinchukss@gmail.com
src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt	49	4	589	581	5	3	2024-06-09	2024-06-17	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/inspection/ArendInspectionSuppressor.kt	10	2	1662	1623	3	3	2021-07-02	2021-08-10	marat.khabibullin@jetbrains.com	623606+valis@users.noreply.github.com
src/main/kotlin/org/arend/inspection/ArendUnusedImportInspection.kt	8	1	1449	1449	2	1	2022-01-31	2022-01-31	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt	107	23	2089	1282	40	4	2020-05-01	2022-07-17	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/ArendReplService.kt	43	11	2045	497	13	4	2020-06-14	2024-09-09	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt	143	37	2091	895	59	5	2020-04-29	2023-08-08	ice1000kotlin@foxmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/ArendReplCompletion.kt	11	1	1539	1539	1	1	2021-11-02	2021-11-02	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/ArendShowReplAction.kt	10	3	2045	1906	3	2	2020-06-14	2020-10-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/toolWindow/repl/action/ShowContextCommandIntellij.kt	16	2	900	895	2	2	2023-08-03	2023-08-08	sinchukss@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/action/IntellijReplCommand.kt	20	3	2024	1717	3	2	2020-07-05	2021-05-08	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/repl/action/SetPromptCommand.kt	10	1	2024	2024	1	1	2020-07-05	2020-07-05	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/toolWindow/SimpleToolWindowService.kt	17	1	1906	1906	1	1	2020-10-31	2020-10-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendPrintOptionsFilterAction.kt	67	22	2279	579	24	8	2019-10-24	2024-06-19	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterAction.kt	31	6	2340	579	7	4	2019-08-24	2024-06-19	valery.isaev@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendPrintOptionsActionGroup.kt	25	9	2279	1432	10	5	2019-10-24	2022-02-17	sxh@ya.ru	marat.khabibullin@jetbrains.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt	70	30	2339	497	36	8	2019-08-25	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt	355	67	2341	413	106	10	2019-08-23	2024-12-02	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendPinGoalAction.kt	26	7	1517	579	8	5	2021-11-24	2024-06-19	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFactory.kt	13	10	2341	1457	10	6	2019-08-23	2022-01-23	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt	58	18	1580	636	23	8	2021-09-22	2024-04-23	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt	207	23	2341	614	32	8	2019-08-23	2024-05-15	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeElement.kt	26	4	1980	1363	4	3	2020-08-18	2022-04-27	valery.isaev@gmail.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRenderer.kt	30	13	2341	643	13	7	2019-08-23	2024-04-16	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeListener.kt	6	3	2339	2271	3	3	2019-08-25	2019-11-01	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt	115	16	2341	579	22	7	2019-08-23	2024-06-19	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollToSource.kt	18	5	2341	1142	6	3	2019-08-23	2022-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRendererService.kt	25	3	644	497	4	3	2024-04-15	2024-09-09	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendShowGoalsInErrorsPanelAction.kt	26	4	1469	579	6	5	2022-01-11	2024-06-19	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendShowErrorsPanelAction.kt	19	6	1498	579	7	5	2021-12-13	2024-06-19	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterActionGroup.kt	39	4	2340	2308	4	2	2019-08-24	2019-09-25	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/toolWindow/errors/ArendClearGoalAction.kt	18	5	1505	1457	5	3	2021-12-06	2022-01-23	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/ArendPinErrorAction.kt	26	9	2273	579	10	6	2019-10-30	2024-06-19	sxh@ya.ru	alex999990009@gmail.com
src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt	73	5	2339	1931	5	3	2019-08-25	2020-10-06	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/toolWindow/errors/MessageType.kt	32	3	2308	2190	3	2	2019-09-25	2020-01-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/toolWindow/errors/ArendShowImplicitGoalsAction.kt	19	4	1467	579	5	5	2022-01-13	2024-06-19	marat.khabibullin@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt	117	9	1652	1457	12	5	2021-07-12	2022-01-23	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/util/FileUtils.kt	43	1	360	360	1	1	2025-01-24	2025-01-24	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/util/ArendBundle.kt	10	1	1693	1693	1	1	2021-06-01	2021-06-01	sxh@ya.ru	sxh@ya.ru
src/main/kotlin/org/arend/util/ArendBinOpUtils.kt	183	36	2173	612	48	11	2020-02-07	2024-05-17	sxh@ya.ru	sinchukss@gmail.com
src/main/kotlin/org/arend/util/ProjectUtils.kt	79	35	2342	497	40	8	2019-08-22	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/util/KotlinUtils.kt	39	14	2342	762	19	6	2019-08-22	2023-12-19	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/util/ExpressionUtils.kt	6	1	1316	1316	1	1	2022-06-13	2022-06-13	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/util/ArendLibraryChooserDescriptor.kt	21	2	1950	1947	2	2	2020-09-17	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/util/VirtualFileUtils.kt	93	10	1950	572	12	5	2020-09-17	2024-06-26	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt	57	12	2337	642	12	4	2019-08-27	2024-04-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/InjectionTextFileType.kt	14	3	2337	971	3	2	2019-08-27	2023-05-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/InjectionTextFileElementType.kt	10	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/PsiInjectionTextFile.kt	20	12	2337	642	12	3	2019-08-27	2024-04-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/PsiInjectionText.kt	12	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/TrivialTextEscaper.kt	13	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/PsiInjectionTextDocumentationProvider.kt	10	1	2099	2099	1	1	2020-04-21	2020-04-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/injection/InjectionTextASTFactory.kt	7	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/ArendLanguageInjector.kt	18	6	2337	1939	6	4	2019-08-27	2020-09-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/InjectedArendEditor.kt	357	77	2337	395	101	10	2019-08-27	2024-12-20	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/injection/InjectionHighlightingPassFactory.kt	15	1	2098	2098	1	1	2020-04-22	2020-04-22	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/injection/InjectionTextParserDefinition.kt	21	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/injection/InjectionHighlightingPass.kt	84	13	2098	497	15	5	2020-04-22	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt	281	12	1379	700	28	2	2022-04-11	2024-02-19	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/actions/RevealingInformationCaretListener.kt	98	12	1372	614	13	4	2022-04-18	2024-05-15	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt	28	2	1379	1372	2	1	2022-04-11	2022-04-18	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt	18	3	1375	1102	3	1	2022-04-15	2023-01-13	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/injection/actions/NormalizationCache.kt	14	3	1365	500	4	3	2022-04-25	2024-09-06	konstantin.nisht@jetbrains.com	alex999990009@gmail.com
src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt	40	5	1365	642	5	2	2022-04-25	2024-04-17	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt	18	3	1375	1102	4	1	2022-04-15	2023-01-13	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt	37	2	1375	1372	2	1	2022-04-15	2022-04-18	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/project/ArendPreludeLibraryRootProvider.kt	33	5	1753	1601	7	3	2021-04-02	2021-09-01	marat.khabibullin@jetbrains.com	623606+valis@users.noreply.github.com
src/main/kotlin/org/arend/project/ArendProjectOpenProcessor.kt	41	8	2058	411	8	3	2020-06-01	2024-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/project/ArendProjectStructureDetector.kt	35	3	2058	971	3	2	2020-06-01	2023-05-24	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt	48	10	2058	411	11	2	2020-06-01	2024-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/project/ArendProjectImportProvider.kt	23	4	2058	817	4	4	2020-06-01	2023-10-25	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/ui/IconButton.kt	10	1	2327	2327	1	1	2019-09-06	2019-09-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/ArendEditor.kt	38	5	2137	581	9	3	2020-03-14	2024-06-17	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt	145	5	1375	1323	6	1	2022-04-15	2022-06-06	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/ui/ListsDnD.kt	87	1	2326	2326	1	1	2019-09-07	2019-09-07	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/cellRenderer/ToolTipListCellRenderer.kt	13	3	2080	2069	3	2	2020-05-10	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/ArendEditorUI.kt	30	4	2091	2069	4	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/query/TextFieldQuery.kt	7	4	2091	2069	4	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/query/SpinnerQuery.kt	7	4	2091	2069	4	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/query/CheckBoxQuery.kt	7	3	2091	2069	3	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/query/ComboBoxQuery.kt	8	7	2091	2058	7	3	2020-04-29	2020-06-01	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/ui/impl/ArendConsoleImpl.kt	24	9	1994	1282	9	2	2020-08-04	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/impl/session/ArendToolWindowSession.kt	58	8	2091	762	9	3	2020-04-29	2023-12-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/impl/session/LabeledComponent.kt	15	3	2083	2069	3	2	2020-05-07	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/session/ArendEditorSession.kt	79	13	2091	1097	14	4	2020-04-29	2023-01-18	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt	57	5	2083	497	6	3	2020-05-07	2024-09-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/impl/session/ComponentSessionItem.kt	6	3	2083	2069	3	2	2020-05-07	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt	95	7	2091	2058	7	3	2020-04-29	2020-06-01	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/ui/impl/ArendGeneralUI.kt	20	6	2091	1994	7	3	2020-04-29	2020-08-04	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/console/ArendClearConsoleAction.kt	19	1	1995	1995	1	1	2020-08-03	2020-08-03	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/console/ArendConsoleService.kt	49	8	1995	497	11	2	2020-08-03	2024-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/console/ArendConsoleView.kt	24	7	1995	1560	8	3	2020-08-03	2021-10-12	valery.isaev@gmail.com	sxh@ya.ru
src/main/kotlin/org/arend/ui/console/ArendConsoleViewEditor.kt	17	6	1580	1375	7	4	2021-09-22	2022-04-15	marat.khabibullin@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt	56	4	2326	1939	4	3	2019-09-07	2020-09-28	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/ui/DualList.kt	119	7	2327	817	10	6	2019-09-06	2023-10-25	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/ui/SimpleListModel.kt	10	1	2327	2327	1	1	2019-09-06	2019-09-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/ui/ArendDialog.kt	17	5	2083	1588	5	4	2020-05-07	2021-09-14	valery.isaev@jetbrains.com	sxh@ya.ru
src/main/kotlin/org/arend/ArendIcons.kt	72	43	2677	601	47	9	2018-09-21	2024-05-28	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/ArendToolbarGroup.kt	16	5	2165	2141	6	3	2020-02-15	2020-03-10	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkResourceRootAction.kt	14	2	679	670	2	2	2024-03-11	2024-03-20	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendUnmarkRootAction.kt	63	3	679	438	3	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt	18	3	679	438	3	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkResourceTestRootAction.kt	14	2	679	670	2	2	2024-03-11	2024-03-20	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt	18	3	679	438	3	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt	21	3	679	438	3	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkActionUtils.kt	152	5	679	438	6	2	2024-03-11	2024-11-07	alex999990009@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/mark/ArendMarkExcludeRootAction.kt	17	2	679	670	2	2	2024-03-11	2024-03-20	alex999990009@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/actions/ArendGotoNextErrorAction.kt	74	15	2080	581	17	8	2020-05-10	2024-06-17	valery.isaev@jetbrains.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/actions/ArendActions.kt	8	2	601	581	6	3	2024-05-28	2024-06-17	sinchukss@gmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/ArendCreateFileAction.kt	32	7	2677	552	7	5	2018-09-21	2024-07-16	valery.isaev@gmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/actions/ArendNormalizeToggleAction.kt	18	4	2141	579	7	3	2020-03-10	2024-06-19	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/ArendShowTypeAction.kt	117	27	2171	483	43	8	2020-02-09	2024-09-23	ice1000kotlin@foxmail.com	alex999990009@gmail.com
src/main/kotlin/org/arend/actions/ArendOpenInReplAction.kt	27	5	1947	502	5	5	2020-09-20	2024-09-04	ice1000kotlin@foxmail.com	sinchukss@gmail.com
src/main/kotlin/org/arend/actions/GotoArendFileAction.kt	17	4	1958	1939	5	2	2020-09-09	2020-09-28	sxh@ya.ru	sxh@ya.ru
src/main/kotlin/org/arend/actions/ArendPopupAction.kt	33	5	2158	497	10	2	2020-02-22	2024-09-09	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/actions/ArendShowNormalFormAction.kt	33	17	2158	1927	34	4	2020-02-22	2020-10-10	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/kotlin/org/arend/actions/ArendExtendWordSelectionHandler.kt	27	2	914	902	2	2	2023-07-20	2023-08-01	sinchukss@gmail.com	fedor.part@gmail.com
src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt	39	11	1958	581	14	4	2020-09-09	2024-06-17	sxh@ya.ru	valery.isaev@gmail.com
src/main/html/highlight-hover.js	18	3	801	781	4	2	2023-11-10	2023-11-30	alex999990009@gmail.com	alex999990009@gmail.com
src/main/html/change-notes.html	1	24	2148	497	29	4	2020-03-03	2024-09-09	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
src/main/html/Arend.css	29	2	762	731	2	2	2023-12-19	2024-01-19	alex999990009@gmail.com	sinchukss@gmail.com
src/main/html/description.html	4	2	2148	2147	2	2	2020-03-03	2020-03-04	ice1000kotlin@foxmail.com	valery.isaev@jetbrains.com
src/main/grammars/ArendLexer.flex	198	53	2677	684	63	5	2018-09-21	2024-03-06	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/grammars/ArendDocLexer.flex	342	13	2034	413	21	5	2020-06-25	2024-12-02	valery.isaev@gmail.com	alex999990009@gmail.com
src/main/java/org/arend/parser/ParserMixin.java	60	10	2534	706	18	6	2019-02-11	2024-02-13	sxh@ya.ru	sinchukss@gmail.com
src/main/java/org/arend/parser/ParserUtil.java	25	4	1985	1267	5	3	2020-08-13	2022-08-01	valery.isaev@gmail.com	konstantin.nisht@jetbrains.com
src/main/java/org/arend/InjectionTextLanguage.java	8	2	2337	2336	2	2	2019-08-27	2019-08-28	valery.isaev@gmail.com	sxh@ya.ru
src/main/java/org/arend/ArendLanguage.java	8	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/resources/intentionDescriptions/ImplementFieldsInCoClauseIntention/description.html	5	4	2507	1694	4	4	2019-03-10	2021-05-31	sxh@ya.ru	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/AddClarifyingParensIntention/description.html	5	3	1704	1623	3	3	2021-05-21	2021-08-10	marat.khabibullin@jetbrains.com	sloboegen98@ya.ru
src/main/resources/intentionDescriptions/WrapInGoalIntention/description.html	5	3	2101	1694	3	3	2020-04-19	2021-05-31	ice1000kotlin@foxmail.com	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/SplitAtomPatternIntention/description.html	5	5	2342	1694	5	4	2019-08-22	2021-05-31	sxh@ya.ru	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/RemoveClarifyingParensIntention/description.html	5	3	1704	1623	3	3	2021-05-21	2021-08-10	marat.khabibullin@jetbrains.com	sloboegen98@ya.ru
src/main/resources/intentionDescriptions/CreateLetBindingIntention/description.html	5	2	1576	1560	3	3	2021-09-26	2021-10-12	konstantin.nisht@jetbrains.com	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/GenerateFunctionFromGoalIntention/description.html	5	4	1601	1588	6	4	2021-09-01	2021-09-14	konstantin.nisht@jetbrains.com	sxh@ya.ru
src/main/resources/intentionDescriptions/ReplaceBracketsIntention/description.html	5	3	678	552	4	2	2024-03-12	2024-07-16	sinchukss@gmail.com	sinchukss@gmail.com
src/main/resources/intentionDescriptions/ChangeArgumentExplicitnessIntention/description.html	5	2	1607	1557	2	2	2021-08-26	2021-10-15	sloboegen98@ya.ru	sxh@ya.ru
src/main/resources/intentionDescriptions/ReplaceWithShortNameIntention/description.html	5	4	1735	1694	4	4	2021-04-20	2021-05-31	sxh@ya.ru	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/GenerateElimMissingClausesIntention/description.html	5	2	504	502	2	2	2024-09-02	2024-09-04	alex999990009@gmail.com	sinchukss@gmail.com
src/main/resources/intentionDescriptions/GenerateMissingClausesIntention/description.html	5	2	504	502	2	2	2024-09-02	2024-09-04	alex999990009@gmail.com	sinchukss@gmail.com
src/main/resources/intentionDescriptions/SwapInfixOperatorArgumentsIntention/description.html	5	2	1746	1717	2	2	2021-04-09	2021-05-08	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
src/main/resources/intentionDescriptions/ReplaceWithNormalFormIntention/description.html	6	3	2148	1694	3	3	2020-03-03	2021-05-31	ice1000kotlin@foxmail.com	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/ReplaceMetaWithResultIntention/description.html	5	4	2118	1694	4	3	2020-04-02	2021-05-31	valery.isaev@jetbrains.com	623606+valis@users.noreply.github.com
src/main/resources/intentionDescriptions/ExtractExpressionToFunctionIntention/description.html	5	4	1601	1588	6	4	2021-09-01	2021-09-14	konstantin.nisht@jetbrains.com	sxh@ya.ru
src/main/resources/META-INF/plugin-json.xml	10	2	2157	2154	4	2	2020-02-23	2020-02-26	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
src/main/resources/META-INF/plugin.xml	384	266	3122	360	365	14	2017-07-03	2025-01-24	chemike47@gmail.com	alex999990009@gmail.com
src/main/resources/inspectionDescriptions/RedundantParens.html	5	3	1656	1611	3	3	2021-07-08	2021-08-22	marat.khabibullin@jetbrains.com	sloboegen98@ya.ru
src/main/resources/inspectionDescriptions/RedundantParameter.html	5	3	589	581	3	3	2024-06-09	2024-06-17	alex999990009@gmail.com	valery.isaev@gmail.com
src/main/resources/inspectionDescriptions/ArendUnusedImport.html	5	1	1449	1449	1	1	2022-01-31	2022-01-31	konstantin.nisht@jetbrains.com	konstantin.nisht@jetbrains.com
src/main/resources/inspectionDescriptions/UnresolvedArendPattern.html	5	3	559	552	4	2	2024-07-09	2024-07-16	alex999990009@gmail.com	sinchukss@gmail.com
src/main/resources/fileTemplates/internal/Arend File.ard.html	5	1	2677	2677	1	1	2018-09-21	2018-09-21	valery.isaev@gmail.com	valery.isaev@gmail.com
src/main/resources/liveTemplates/Arend.xml	112	2	1460	1456	2	1	2022-01-20	2022-01-24	marat.khabibullin@jetbrains.com	marat.khabibullin@jetbrains.com
build.gradle.kts	146	122	2698	360	163	12	2018-08-31	2025-01-24	chemike47@gmail.com	alex999990009@gmail.com