multi-isabelle
Service | Status |
---|---|
Travis (Linux CI) |
Conditional Isabelle/ML execution depending on Isabelle version
License |
License |
---|---|
GroupId | GroupIdinfo.hupel |
ArtifactId | ArtifactIdmulti-isabelle |
Last Version | Last Version0.1.4 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionmulti-isabelle
multi-isabelle
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
multi-isabelle-0.1.4.pom | |
multi-isabelle-0.1.4.jar | 1 KB |
multi-isabelle-0.1.4-sources.jar | 305 bytes |
multi-isabelle-0.1.4-javadoc.jar | 261 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/info.hupel/multi-isabelle/ -->
<dependency>
<groupId>info.hupel</groupId>
<artifactId>multi-isabelle</artifactId>
<version>0.1.4</version>
</dependency>
// https://jarcasting.com/artifacts/info.hupel/multi-isabelle/
implementation 'info.hupel:multi-isabelle:0.1.4'
// https://jarcasting.com/artifacts/info.hupel/multi-isabelle/
implementation ("info.hupel:multi-isabelle:0.1.4")
'info.hupel:multi-isabelle:jar:0.1.4'
<dependency org="info.hupel" name="multi-isabelle" rev="0.1.4">
<artifact name="multi-isabelle" type="jar" />
</dependency>
@Grapes(
@Grab(group='info.hupel', module='multi-isabelle', version='0.1.4')
)
libraryDependencies += "info.hupel" % "multi-isabelle" % "0.1.4"
[info.hupel/multi-isabelle "0.1.4"]
Service | Status |
---|---|
Travis (Linux CI) |
Conditional Isabelle/ML execution depending on Isabelle version