Download multi-isabelle JAR 0.1.1 with all dependencies

multi-isabelle

Files of the artifact multi-isabelle version 0.1.1 from the group info.hupel.

Test

Artifact multi-isabelle
Group info.hupel
Version 0.1.1
Last update 06. November 2016
Organization info.hupel
URL http://lars.hupel.info/libisabelle/
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

There is a newer version: 0.1.4

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of multi-isabelle Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of multi-isabelle version 0.1.1

META-INF

META-INF.META-INF.MANIFEST.MF