setup

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

Download libisabelle-setup_2.10

Filename	Size
libisabelle-setup_2.10-0.8.3.pom
libisabelle-setup_2.10-0.8.3.jar	58 KB
libisabelle-setup_2.10-0.8.3-sources.jar	6 KB
libisabelle-setup_2.10-0.8.3-javadoc.jar	392 KB

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/info.hupel/libisabelle-setup_2.10/
implementation 'info.hupel:libisabelle-setup_2.10:0.8.3'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.hupel/libisabelle-setup_2.10/
implementation ("info.hupel:libisabelle-setup_2.10:0.8.3")

Apache Buildr

'info.hupel:libisabelle-setup_2.10:jar:0.8.3'

Apache Ivy

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

Groovy Grape

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

Scala SBT

libraryDependencies += "info.hupel" % "libisabelle-setup_2.10" % "0.8.3"

Leiningen

[info.hupel/libisabelle-setup_2.10 "0.8.3"]

Dependencies

compile (7)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.10.6
info.hupel : libisabelle_2.10	jar	0.8.3
info.hupel : pide-interface_2.10	jar	0.8.3
io.get-coursier : coursier_2.10	jar	1.0.0-RC3
io.get-coursier : coursier-cache_2.10	jar	1.0.0-RC3
org.apache.commons : commons-compress	jar	1.13
commons-io : commons-io	jar	2.5

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
0.5 Sep 4, 2016
0.4 Aug 21, 2016
0.3.4 Apr 24, 2016
0.3.3 Apr 4, 2016
0.3.2 Mar 31, 2016
0.3.1 Mar 25, 2016
0.3 Mar 21, 2016
0.2.4 Feb 21, 2016
0.2.3 Jan 10, 2016
0.2.2 Jan 5, 2016
0.2.1 Dec 14, 2015
0.2 Dec 5, 2015
0.1.2 Oct 21, 2015
0.1.1 Sep 24, 2015
0.1 Sep 8, 2015