forked from prismmodelchecker/prism
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.classpath
19 lines (19 loc) · 1.08 KB
/
.classpath
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="prism/src"/>
<classpathentry kind="src" path="prism/unit-tests"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-12"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/5"/>
<classpathentry kind="lib" path="prism/lib/epsgraphics.jar"/>
<classpathentry kind="lib" path="prism/lib/jcommon.jar"/>
<classpathentry kind="lib" path="prism/lib/jfreechart.jar"/>
<classpathentry kind="lib" path="prism/lib/jhoafparser.jar"/>
<classpathentry kind="lib" path="prism/lib/colt.jar"/>
<classpathentry kind="lib" path="prism/lib/pepa.zip"/>
<classpathentry kind="lib" path="prism/lib/lpsolve55j.jar"/>
<classpathentry kind="lib" path="prism/lib/jas.jar"/>
<classpathentry kind="lib" path="prism/lib/log4j-api.jar"/>
<classpathentry kind="lib" path="prism/lib/log4j-core.jar"/>
<classpathentry kind="lib" path="prism/lib/nailgun-server.jar"/>
<classpathentry kind="output" path="prism/classes"/>
</classpath>