Browse Source

Rename jhoafparser jar.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10247 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
commit
e85054f493
  1. 2
      prism/.classpath
  2. 0
      prism/lib/jhoafparser.jar

2
prism/.classpath

@ -5,7 +5,7 @@
<classpathentry kind="lib" path="lib/epsgraphics.jar"/> <classpathentry kind="lib" path="lib/epsgraphics.jar"/>
<classpathentry kind="lib" path="lib/jcommon.jar"/> <classpathentry kind="lib" path="lib/jcommon.jar"/>
<classpathentry kind="lib" path="lib/jfreechart.jar" sourcepath="/jfreechart/source"/> <classpathentry kind="lib" path="lib/jfreechart.jar" sourcepath="/jfreechart/source"/>
<classpathentry kind="lib" path="lib/jhoafparser-1.1.0-rc3.jar"/>
<classpathentry kind="lib" path="lib/jhoafparser.jar"/>
<classpathentry kind="lib" path="lib/colt.jar" sourcepath="/Users/dxp/colt/src"/> <classpathentry kind="lib" path="lib/colt.jar" sourcepath="/Users/dxp/colt/src"/>
<classpathentry kind="lib" path="lib/pepa.zip"/> <classpathentry kind="lib" path="lib/pepa.zip"/>
<classpathentry kind="lib" path="lib/lpsolve55j.jar"/> <classpathentry kind="lib" path="lib/lpsolve55j.jar"/>

0
prism/lib/jhoafparser-1.1.0-rc3.jar → prism/lib/jhoafparser.jar

Loading…
Cancel
Save