ProB 2.0 Servlets

Servlets for ProB 2.0. This will be replaced by a new mechanism.

Homepage POM file JAR file Javadoc

'de.hhu.stups:prob2-ui-servlets:2.0.2'

<dependency>
	<groupId>de.hhu.stups</groupId>
	<artifactId>prob2-ui-servlets</artifactId>
	<version>2.0.2</version>
</dependency>

<dependency org="de.hhu.stups" name="prob2-ui-servlets" rev="2.0.2"/>

"de.hhu.stups", "prob2-ui-servlets", "2.0.2"

Dependencies

Compile dependencies

ch.qos.logback » logback-classic » 0.9.29
ch.qos.logback » logback-core » 0.9.29
com.github.spullara.mustache.java » compiler » 0.8.12
com.google.code.gson » gson » 1.7.1
com.google.inject » guice » 3.0
com.google.inject.extensions » guice-servlet » 3.0
commons-cli » commons-cli » 1.2
commons-lang » commons-lang » 2.6
de.hhu.stups » de.prob2.kernel » 2.0.0
org.eclipse.jetty » jetty-io » 8.1.8.v20121106
org.eclipse.jetty » jetty-server » 8.1.8.v20121106
org.eclipse.jetty » jetty-servlet » 8.1.8.v20121106
org.eclipse.jetty » jetty-util » 8.1.8.v20121106
org.eclipse.jetty » jetty-webapp » 8.1.8.v20121106
org.pegdown » pegdown » 1.1.0
org.slf4j » slf4j-api » 1.6.1