group info.hupel has published 66 artifact(s) with total 738 version(s)
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-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.11 1 0.1
slf4j-impl-helper_2.12 1 0.1