From c3f958e199f43855eef57529090e716e4b30fb45 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 28 Apr 2010 14:32:15 +0000
Subject: [PATCH] Added Eclipse .classpath file to svn.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1858 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/.classpath | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 prism/.classpath

diff --git a/prism/.classpath b/prism/.classpath
new file mode 100644
index 00000000..b7da55b2
--- /dev/null
+++ b/prism/.classpath
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="lib" path="lib/epsgraphics.jar"/>
+	<classpathentry kind="lib" path="lib/jcommon.jar"/>
+	<classpathentry kind="lib" path="lib/jfreechart.jar" sourcepath="/jfreechart/source"/>
+	<classpathentry kind="output" path="classes"/>
+</classpath>