Last Version

prob2-ui-servlets 2.1.0

Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!

License

License

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

prob2-ui-servlets
Version

Version

2.1.0
Type

Type

pom.sha512
Description

Description

prob2-ui-servlets
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
Project URL

Project URL

https://github.com/bendisposto/probparsers
Source Code Management

Source Code Management

https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2-servlets

Download prob2-ui-servlets 2.1.0

Dependencies

runtime (16)

Group / Artifact Type Version
de.hhu.stups : de.prob2.kernel jar 3.14.0
commons-cli : commons-cli jar 1.2
commons-lang : commons-lang jar 2.6
org.pegdown : pegdown jar 1.1.0
com.google.inject : guice jar 4.0
com.google.inject.extensions : guice-servlet jar 4.0
org.slf4j : slf4j-api jar 1.6.1
ch.qos.logback : logback-core jar 0.9.29
ch.qos.logback : logback-classic jar 0.9.29
com.google.code.gson : gson jar 1.7.1
org.eclipse.jetty : jetty-io jar 8.1.8.v20121106
org.eclipse.jetty : jetty-server jar 8.1.8.v20121106
org.eclipse.jetty : jetty-servlet jar 8.1.8.v20121106
org.eclipse.jetty : jetty-util jar 8.1.8.v20121106
org.eclipse.jetty : jetty-webapp jar 8.1.8.v20121106
com.github.spullara.mustache.java : compiler jar 0.8.12

Project Modules

There are no modules declared in this project.