multi-isabelle

License	MIT
GroupId	info.hupel
ArtifactId	multi-isabelle
Last Version	0.1.4
Release Date	Apr 27, 2019
Type	jar
Description	multi-isabelle multi-isabelle
Project URL	http://lars.hupel.info/libisabelle/
Project Organization	info.hupel
Source Code Management	https://github.com/larsrh/multi-isabelle

Download multi-isabelle

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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/info.hupel/multi-isabelle/ -->
<dependency>
    <groupId>info.hupel</groupId>
    <artifactId>multi-isabelle</artifactId>
    <version>0.1.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/info.hupel/multi-isabelle/
implementation 'info.hupel:multi-isabelle:0.1.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.hupel/multi-isabelle/
implementation ("info.hupel:multi-isabelle:0.1.4")

Apache Buildr

'info.hupel:multi-isabelle:jar:0.1.4'

Apache Ivy

<dependency org="info.hupel" name="multi-isabelle" rev="0.1.4">
  <artifact name="multi-isabelle" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='info.hupel', module='multi-isabelle', version='0.1.4')
)

Scala SBT

libraryDependencies += "info.hupel" % "multi-isabelle" % "0.1.4"

Leiningen

[info.hupel/multi-isabelle "0.1.4"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

multi-isabelle

Service	Status
Travis (Linux CI)

Conditional Isabelle/ML execution depending on Isabelle version

Versions

Version
0.1.4 Apr 27, 2019
0.1.3 Apr 27, 2019
0.1.2 Apr 17, 2019
0.1.1 Nov 6, 2016
0.1 Nov 6, 2016