EclipseからのSubversionリポジトリへのアクセスにはずっとSubclipseを使っていましたが、TPTPのインストールの際に一度Eclipseごと消してしまっていたため、この際なので公式プロジェクトであるSubversiveを使ってみることにしました。機能的にもこちらが若…