Spring MVC Example Application 2.1.0

Example application for using the Platform SDK in a Spring MVC application

License	MIT
Categories	Spring MVC User Interface Web Frameworks KeY Data Data Formats Formal Verification
GroupId	com.launchkey.sdk
ArtifactId	launchkey-examples-spring-mvc
Version	2.1.0
Type	jar
Description	Spring MVC Example Application Example application for using the Platform SDK in a Spring MVC application
Project Organization	LaunchKey

Download launchkey-examples-spring-mvc 2.1.0

Filename	Size
launchkey-examples-spring-mvc-2.1.0.pom
launchkey-examples-spring-mvc-2.1.0.jar	19 MB
launchkey-examples-spring-mvc-2.1.0-sources.jar	13 KB
launchkey-examples-spring-mvc-2.1.0-javadoc.jar	82 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-spring-mvc/ -->
<dependency>
    <groupId>com.launchkey.sdk</groupId>
    <artifactId>launchkey-examples-spring-mvc</artifactId>
    <version>2.1.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-spring-mvc/
implementation 'com.launchkey.sdk:launchkey-examples-spring-mvc:2.1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-spring-mvc/
implementation ("com.launchkey.sdk:launchkey-examples-spring-mvc:2.1.0")

Apache Buildr

'com.launchkey.sdk:launchkey-examples-spring-mvc:jar:2.1.0'

Apache Ivy

<dependency org="com.launchkey.sdk" name="launchkey-examples-spring-mvc" rev="2.1.0">
  <artifact name="launchkey-examples-spring-mvc" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.launchkey.sdk', module='launchkey-examples-spring-mvc', version='2.1.0')
)

Scala SBT

libraryDependencies += "com.launchkey.sdk" % "launchkey-examples-spring-mvc" % "2.1.0"

Leiningen

[com.launchkey.sdk/launchkey-examples-spring-mvc "2.1.0"]

Dependencies

compile (5)

Group / Artifact	Type	Version
org.springframework.boot : spring-boot-starter-thymeleaf	jar	1.2.5.RELEASE
org.springframework.security : spring-security-web	jar	4.0.2.RELEASE
org.springframework.security : spring-security-config	jar	4.0.2.RELEASE
org.springframework.security : spring-security-core	jar	4.0.2.RELEASE
com.launchkey.sdk : launchkey-sdk	jar	2.1.0

provided (1)

Group / Artifact	Type	Version
org.bouncycastle : bcprov-jdk15on	jar	[1,2)

Project Modules

There are no modules declared in this project.