License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdprob2-ui-servlets |
Version | Version2.1.0 |
Type | Typepom.sha512 |
Description |
Descriptionprob2-ui-servlets
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
prob2-ui-servlets-2.1.0.pom | |
prob2-ui-servlets-2.1.0-sources.jar | 3 MB |
prob2-ui-servlets-2.1.0-javadoc.jar | 175 KB |
Browse |
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 |