classy

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

Download classy

Filename	Size
classy-0.2.2.pom
classy-0.2.2.jar	7 KB
classy-0.2.2-sources.jar	301 bytes
classy-0.2.2-javadoc.jar	259 bytes

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/info.hupel/classy/ -->
<dependency>
    <groupId>info.hupel</groupId>
    <artifactId>classy</artifactId>
    <version>0.2.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/info.hupel/classy/
implementation 'info.hupel:classy:0.2.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.hupel/classy/
implementation ("info.hupel:classy:0.2.2")

Apache Buildr

'info.hupel:classy:jar:0.2.2'

Apache Ivy

<dependency org="info.hupel" name="classy" rev="0.2.2">
  <artifact name="classy" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='info.hupel', module='classy', version='0.2.2')
)

Scala SBT

libraryDependencies += "info.hupel" % "classy" % "0.2.2"

Leiningen

[info.hupel/classy "0.2.2"]

Dependencies

compile (1)

Group / Artifact	Type	Version
info.hupel : multi-isabelle	jar	0.1.2

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.2.2 Apr 24, 2019
0.2.1 Jul 3, 2018
0.2.0 Jun 28, 2018
0.1.8 Jun 7, 2018
0.1.7 Oct 9, 2017
0.1.6 Sep 6, 2017
0.1.5 Aug 17, 2017
0.1.4 Dec 13, 2016
0.1.3 Nov 28, 2016
0.1.2 Nov 22, 2016
0.1.1 Nov 6, 2016
0.1 Nov 6, 2016