cli

License	MIT BSD
GroupId	info.hupel
ArtifactId	isabellectl_2.10
Last Version	0.8.3
Release Date	Jul 10, 2017
Type	jar
Description	cli cli
Project URL	http://lars.hupel.info/libisabelle/
Project Organization	info.hupel
Source Code Management	https://github.com/larsrh/libisabelle

Download isabellectl_2.10

Filename	Size
isabellectl_2.10-0.8.3.pom
isabellectl_2.10-0.8.3.jar	172 KB
isabellectl_2.10-0.8.3-sources.jar	6 KB
isabellectl_2.10-0.8.3-javadoc.jar	394 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/info.hupel/isabellectl_2.10/ -->
<dependency>
    <groupId>info.hupel</groupId>
    <artifactId>isabellectl_2.10</artifactId>
    <version>0.8.3</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/info.hupel/isabellectl_2.10/
implementation 'info.hupel:isabellectl_2.10:0.8.3'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.hupel/isabellectl_2.10/
implementation ("info.hupel:isabellectl_2.10:0.8.3")

Apache Buildr

'info.hupel:isabellectl_2.10:jar:0.8.3'

Apache Ivy

<dependency org="info.hupel" name="isabellectl_2.10" rev="0.8.3">
  <artifact name="isabellectl_2.10" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='info.hupel', module='isabellectl_2.10', version='0.8.3')
)

Scala SBT

libraryDependencies += "info.hupel" % "isabellectl_2.10" % "0.8.3"

Leiningen

[info.hupel/isabellectl_2.10 "0.8.3"]

Dependencies

compile (7)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.10.6
info.hupel : libisabelle-setup_2.10	jar	0.8.3
info.hupel : pide-package_2.10	jar	0.8.3
org.typelevel : macro-compat_2.10	jar	1.1.1
io.rbricks : scalog-backend_2.10	jar	0.2.1
io.rbricks : scalog-mdc_2.10	jar	0.2.1
com.github.alexarchambault : case-app_2.10	jar	1.1.3

provided (3)

Group / Artifact	Type	Version
org.scala-lang : scala-compiler	jar	2.10.6
org.scala-lang : scala-reflect	jar	2.10.6
com.typesafe : config	jar	1.3.1

Project Modules

There are no modules declared in this project.

libisabelle

As a possible replacement for this library, check out scala-isabelle.

Versions

Version
0.8.3 Jul 10, 2017
0.8.2 Jul 2, 2017
0.8.1 Jun 23, 2017
0.8.0 Mar 9, 2017
0.7.0 Feb 4, 2017
0.7.0-RC1 Feb 4, 2017
0.6.6 Feb 1, 2017
0.6.5 Jan 24, 2017
0.6.4 Dec 13, 2016
0.6.3 Nov 12, 2016
0.6.2 Nov 9, 2016
0.6.1 Nov 7, 2016
0.6 Nov 6, 2016