Download isabellectl_2.12 JAR file with all dependencies
isabellectl_2.12 from group info.hupel (version 0.9.3)
cli
Artifact isabellectl_2.12
Group info.hupel
Version 0.9.3
Last update 30. April 2018
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 0.9.3
Last update 30. April 2018
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)