forked from prismmodelchecker/prism
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.classpath
16 lines (16 loc) · 841 Bytes
/
.classpath
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="prism/src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<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.jar"/>
<classpathentry kind="lib" path="prism/lib/nailgun-server.jar"/>
<classpathentry kind="output" path="prism/classes"/>
</classpath>