v1.3.0
  1. intellij-arend
  2. src
  3. main
  4. kotlin
  5. org
  6. arend
  7. formatting
Name
..
block
ArendBackspaceDisabler.kt
ArendCodeStyleMainPanel.kt
ArendCodeStyleSettings.kt
ArendCodeStyleSettingsProvider.kt
ArendEnterAtIndentHandler.kt
ArendFormattingModelBuilder.kt
ArendLanguageCodeStyleSettingsProvider.kt