pide2017

License	Apache-2.0 BSD
Categories	IDE Development Tools
GroupId	info.hupel
ArtifactId	pide-2017_2.12
Last Version	1.1.0-RC3
Release Date	Jun 2, 2019
Type	jar
Description	pide2017 pide2017
Project URL	http://lars.hupel.info/libisabelle/
Project Organization	info.hupel
Source Code Management	https://github.com/larsrh/libisabelle

Download pide-2017_2.12

Filename	Size
pide-2017_2.12-1.1.0-RC3.pom
pide-2017_2.12-1.1.0-RC3.jar	2 MB
pide-2017_2.12-1.1.0-RC3-sources.jar	263 KB
pide-2017_2.12-1.1.0-RC3-javadoc.jar	3 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/info.hupel/pide-2017_2.12/ -->
<dependency>
    <groupId>info.hupel</groupId>
    <artifactId>pide-2017_2.12</artifactId>
    <version>1.1.0-RC3</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/info.hupel/pide-2017_2.12/
implementation 'info.hupel:pide-2017_2.12:1.1.0-RC3'

Gradle Kotlin

// https://jarcasting.com/artifacts/info.hupel/pide-2017_2.12/
implementation ("info.hupel:pide-2017_2.12:1.1.0-RC3")

Apache Buildr

'info.hupel:pide-2017_2.12:jar:1.1.0-RC3'

Apache Ivy

<dependency org="info.hupel" name="pide-2017_2.12" rev="1.1.0-RC3">
  <artifact name="pide-2017_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='info.hupel', module='pide-2017_2.12', version='1.1.0-RC3')
)

Scala SBT

libraryDependencies += "info.hupel" % "pide-2017_2.12" % "1.1.0-RC3"

Leiningen

[info.hupel/pide-2017_2.12 "1.1.0-RC3"]

Dependencies

provided (1)

Group / Artifact	Type	Version
info.hupel : pide-interface_2.12	jar	1.1.0-RC3

Project Modules

There are no modules declared in this project.

libisabelle

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

Versions

Version
1.1.0-RC3 Jun 2, 2019
1.1.0-RC2 Apr 25, 2019
1.1.0-RC1 Dec 23, 2018
1.0.1 Oct 2, 2018
1.0.0 Sep 11, 2018
1.0.0-RC3 Jul 23, 2018
1.0.0-RC2 Jul 1, 2018
1.0.0-RC1 Jun 29, 2018
0.9.3 Apr 30, 2018
0.9.2 Oct 15, 2017