MVN

org.protelis : protelisdoc

Maven & Gradle

Apr 14, 2022
1 stars

ProtelisDoc generator · A translator from documented Protelis code to compiling Kotlin interfaces

<dependency>
    <groupId>org.protelis</groupId>
    <artifactId>protelisdoc</artifactId>
    <version>3.0.5</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of org.protelis : protelisdoc to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 3.0.5

All Versions

Choose a version of org.protelis : protelisdoc to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
3.0.x
protelisdoc-3.0.5
protelisdoc-3.0.4
protelisdoc-3.0.3
protelisdoc-3.0.2
protelisdoc-3.0.1
protelisdoc-3.0.0
2.0.x
protelisdoc-2.0.0
1.0.x
protelisdoc-1.0.3
protelisdoc-1.0.2
protelisdoc-1.0.1
protelisdoc-1.0.0

How to add a dependency to Maven

Add the following org.protelis : protelisdoc maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.protelis</groupId>
    <artifactId>protelisdoc</artifactId>
    <version>3.0.5</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.protelis : protelisdoc gradle dependency to your build.gradle file:

implementation 'org.protelis:protelisdoc:3.0.5'

Gradle Kotlin DSL: Add the following org.protelis : protelisdoc gradle kotlin dependency to your build.gradle.kts file:

implementation("org.protelis:protelisdoc:3.0.5")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.protelis : protelisdoc sbt scala dependency to your build.sbt file:

libraryDependencies += "org.protelis" % "protelisdoc" % "3.0.5"

Advertisement

Dependencies from Group

Jul 31, 2023
4 usages
Feb 19, 2023
3 usages
0 stars
Jul 31, 2023
2 usages
Jul 31, 2023
2 usages
Jul 31, 2023
1 usages
1 stars

Discover Dependencies

Apr 07, 2022
2 usages
Nov 29, 2022
2 usages
661 stars
Nov 29, 2022
1 usages
664 stars
May 18, 2023
2 usages
664 stars
Jul 25, 2022
664 stars
May 18, 2023
1 usages
662 stars
May 18, 2023
2 usages
661 stars
May 18, 2023
2 usages
664 stars
Jul 25, 2022
662 stars
Apr 12, 2022
2 usages
0 stars