../ afp/ - - classy/ - - fork/ - - isabellectl_2.10/ - - isabellectl_2.11/ - - isabellectl_2.12/ - - isabellectl_2.12.0-RC2/ - - jsr223-launcher/ - - libisabelle-cli_2.10/ - - libisabelle-cli_2.11/ - - libisabelle-docs_2.10/ - - libisabelle-docs_2.11/ - - libisabelle-docs_2.12/ - - libisabelle-docs_2.12.0-M2/ - - libisabelle-docs_2.12.0-RC2/ - - libisabelle-setup_2.10/ - - libisabelle-setup_2.11/ - - libisabelle-setup_2.12/ - - libisabelle-setup_2.12.0-M2/ - - libisabelle-setup_2.12.0-RC2/ - - libisabelle_2.10/ - - libisabelle_2.11/ - - libisabelle_2.12/ - - libisabelle_2.12.0-M2/ - - libisabelle_2.12.0-RC2/ - - multi-isabelle/ - - pide-2014_2.10/ - - pide-2014_2.11/ - - pide-2014_2.12.0-M2/ - - pide-2015_2.10/ - - pide-2015_2.11/ - - pide-2015_2.12.0-M2/ - - pide-2016-1-RC1_2.10/ - - pide-2016-1-RC1_2.11/ - - pide-2016-1-RC1_2.12/ - - pide-2016-1-RC1_2.12.0-RC2/ - - pide-2016-1-RC2_2.10/ - - pide-2016-1-RC2_2.11/ - - pide-2016-1-RC2_2.12/ - - pide-2016-1-RC2_2.12.0-RC2/ - - pide-2016-1_2.10/ - - pide-2016-1_2.11/ - - pide-2016-1_2.12/ - - pide-2016-RC0_2.10/ - - pide-2016-RC0_2.11/ - - pide-2016_2.10/ - - pide-2016_2.11/ - - pide-2016_2.12/ - - pide-2016_2.12.0-RC2/ - - pide-2017_2.11/ - - pide-2017_2.12/ - - pide-2018-RC0_2.11/ - - pide-2018-RC0_2.12/ - - pide-2018-RC1_2.11/ - - pide-2018-RC1_2.12/ - - pide-2018-RC2_2.11/ - - pide-2018-RC2_2.12/ - - pide-2018-RC3_2.11/ - - pide-2018-RC3_2.12/ - - pide-2018-RC4_2.11/ - - pide-2018-RC4_2.12/ - - pide-2018_2.11/ - - pide-2018_2.12/ - - pide-2019-RC0_2.11/ - - pide-2019-RC0_2.12/ - - pide-2019-RC4_2.11/ - - pide-2019-RC4_2.12/ - - pide-dependencies_2.11/ - - pide-dependencies_2.12/ - - pide-interface_2.10/ - - pide-interface_2.11/ - - pide-interface_2.12/ - - pide-interface_2.12.0-M2/ - - pide-interface_2.12.0-RC2/ - - pide-package_2.10/ - - pide-package_2.11/ - - pide-package_2.12/ - - pide-package_2.12.0-RC2/ - - sbt-api-mappings_2.12_1.0/ - - sbt-jsr223_2.12_1.0/ - - sbt-jython_2.12_1.0/ - - sbt-libisabelle_2.10_0.13/ - - sbt-libisabelle_2.12_1.0/ - - slf4j-impl-helper_2.10/ - - slf4j-impl-helper_2.11/ - - slf4j-impl-helper_2.12/ - - slf4j-impl-helper_2.12.0-RC1/ - -