info.kwarc.sally4 : sally4-features

<!-- https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-features --><dependency>
    <groupId>info.kwarc.sally4</groupId>
    <artifactId>sally4-features</artifactId>
    <version>1.0.0</version>
</dependency>

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-featuresimplementation group: 'info.kwarc.sally4', name: 'sally4-features', version: '1.0.0'

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-featuresimplementation 'info.kwarc.sally4:sally4-features:1.0.0'

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-featuresimplementation("info.kwarc.sally4:sally4-features:1.0.0")

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-featureslibraryDependencies += "info.kwarc.sally4" % "sally4-features" % "1.0.0"

<!-- https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-features --><dependency org="info.kwarc.sally4" name="sally4-features" rev="1.0.0"/>

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-features@Grapes(
    @Grab(group='info.kwarc.sally4', module='sally4-features', version='1.0.0')
)

;; https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-features[info.kwarc.sally4/sally4-features "1.0.0"]

# https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4-features'info.kwarc.sally4:sally4-features:jar:1.0.0'