Download prob2-ui-servlets-2.0.2.jar file

Description

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

You can download jar file prob2-ui-servlets 2.0.2 in this page.

Eclipse Public License, Version 1.0

You can use the following script to add prob2-ui-servlets-2.0.2.jar to your project.

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

compile group: 'de.hhu.stups', name: 'prob2-ui-servlets', version: '2.0.2'

libraryDependencies += "de.hhu.stups" % "prob2-ui-servlets" % "2.0.2"

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

@Grapes(@Grab(group='de.hhu.stups', module='prob2-ui-servlets', version='2.0.2'))

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

Click the following link to download the jar file.