Download isabellectl_2.12 JAR file with all dependencies
isabellectl_2.12 from group info.hupel (version 1.1.0-RC3)
cli
0 downloads
Artifact isabellectl_2.12
Group info.hupel
Version 1.1.0-RC3
Last update 02. June 2019
Organization info.hupel
URL http://lars.hupel.info/libisabelle/
License Apache-2.0
Dependencies amount 6
Dependencies scala-library, libisabelle-setup_2.12, pide-package_2.12, scalog-backend_2.12, scalog-mdc_2.12, case-app_2.12,
There are maybe transitive dependencies!
Group info.hupel
Version 1.1.0-RC3
Last update 02. June 2019
Organization info.hupel
URL http://lars.hupel.info/libisabelle/
License Apache-2.0
Dependencies amount 6
Dependencies scala-library, libisabelle-setup_2.12, pide-package_2.12, scalog-backend_2.12, scalog-mdc_2.12, case-app_2.12,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)