v1.10.0.3
  1. intellij-arend
  2. src
  3. main
  4. kotlin
  5. org
  6. arend
  7. actions
  8. mark
Name
..
ArendMarkActionUtils.kt
ArendMarkBinRootAction.kt
ArendMarkExcludeRootAction.kt
ArendMarkResourceRootAction.kt
ArendMarkResourceTestRootAction.kt
ArendMarkSourceRootAction.kt
ArendMarkTestSourceRootAction.kt
ArendUnmarkRootAction.kt