Artifact | Num# versions published | Latest version |
---|---|---|
isabellectl_2.10 | 13 | 0.8.3 |
isabellectl_2.11 | 25 | 1.1.0-RC3 |
isabellectl_2.12 | 23 | 1.1.0-RC3 |
isabellectl_2.12.0-RC2 | 2 | 0.6.1 |
libisabelle-cli_2.10 | 8 | 0.5 |
libisabelle-cli_2.11 | 8 | 0.5 |
libisabelle-docs_2.10 | 28 | 0.8.3 |
libisabelle-docs_2.11 | 40 | 1.1.0-RC3 |
libisabelle-docs_2.12 | 23 | 1.1.0-RC3 |
libisabelle-docs_2.12.0-RC2 | 2 | 0.6.1 |
libisabelle-setup_2.10 | 28 | 0.8.3 |
libisabelle-setup_2.11 | 40 | 1.1.0-RC3 |
libisabelle-setup_2.12 | 23 | 1.1.0-RC3 |
libisabelle-setup_2.12.0-RC2 | 2 | 0.6.1 |
libisabelle_2.10 | 28 | 0.8.3 |
libisabelle_2.11 | 40 | 1.1.0-RC3 |
libisabelle_2.12 | 23 | 1.1.0-RC3 |
libisabelle_2.12.0-RC2 | 2 | 0.6.1 |
multi-isabelle | 5 | 0.1.4 |
pide-2014_2.10 | 7 | 0.2.3 |
pide-2014_2.11 | 7 | 0.2.3 |
pide-2015_2.10 | 15 | 0.5 |
pide-2015_2.11 | 15 | 0.5 |
pide-2016-1-RC1_2.10 | 4 | 0.6.3 |
pide-2016-1-RC1_2.11 | 4 | 0.6.3 |
pide-2016-1-RC1_2.12 | 2 | 0.6.3 |
pide-2016-1-RC1_2.12.0-RC2 | 2 | 0.6.1 |
pide-2016-1-RC2_2.10 | 3 | 0.6.3 |
pide-2016-1-RC2_2.11 | 3 | 0.6.3 |
pide-2016-1-RC2_2.12 | 2 | 0.6.3 |
pide-2016-1-RC2_2.12.0-RC2 | 1 | 0.6.1 |
pide-2016-1_2.10 | 9 | 0.8.3 |
pide-2016-1_2.11 | 13 | 0.9.3 |
pide-2016-1_2.12 | 13 | 0.9.3 |
pide-2016-RC0_2.10 | 2 | 0.2.3 |
pide-2016-RC0_2.11 | 2 | 0.2.3 |
pide-2016_2.10 | 21 | 0.8.3 |
pide-2016_2.11 | 25 | 0.9.3 |
pide-2016_2.12 | 15 | 0.9.3 |
pide-2016_2.12.0-RC2 | 2 | 0.6.1 |
pide-2017_2.11 | 10 | 1.1.0-RC3 |
pide-2017_2.12 | 10 | 1.1.0-RC3 |
pide-2018-RC0_2.11 | 2 | 1.0.0-RC2 |
pide-2018-RC0_2.12 | 2 | 1.0.0-RC2 |
pide-2018-RC1_2.11 | 1 | 1.0.0-RC2 |
pide-2018-RC1_2.12 | 1 | 1.0.0-RC2 |
pide-2018-RC2_2.11 | 1 | 1.0.0-RC3 |
pide-2018-RC2_2.12 | 1 | 1.0.0-RC3 |
pide-2018-RC3_2.11 | 1 | 1.0.0-RC3 |
pide-2018-RC3_2.12 | 1 | 1.0.0-RC3 |
pide-2018-RC4_2.11 | 1 | 1.0.0-RC3 |
pide-2018-RC4_2.12 | 1 | 1.0.0-RC3 |
pide-2018_2.11 | 6 | 1.1.0-RC3 |
pide-2018_2.12 | 6 | 1.1.0-RC3 |
pide-2019-RC0_2.11 | 1 | 1.1.0-RC2 |
pide-2019-RC0_2.12 | 1 | 1.1.0-RC2 |
pide-2019-RC4_2.11 | 1 | 1.1.0-RC3 |
pide-2019-RC4_2.12 | 1 | 1.1.0-RC3 |
pide-dependencies_2.11 | 1 | 1.0.0-RC1 |
pide-dependencies_2.12 | 1 | 1.0.0-RC1 |
pide-interface_2.10 | 28 | 0.8.3 |
pide-interface_2.11 | 40 | 1.1.0-RC3 |
pide-interface_2.12 | 23 | 1.1.0-RC3 |
pide-interface_2.12.0-RC2 | 2 | 0.6.1 |
pide-package_2.10 | 15 | 0.8.3 |
pide-package_2.11 | 27 | 1.1.0-RC3 |
pide-package_2.12 | 23 | 1.1.0-RC3 |
pide-package_2.12.0-RC2 | 2 | 0.6.1 |
slf4j-impl-helper_2.10 | 1 | 0.1 |
slf4j-impl-helper_2.11 | 1 | 0.1 |
slf4j-impl-helper_2.12 | 1 | 0.1 |