+++ /dev/null
- Java PathFinder README
- ======================
-
-========General Information about JPF ===================
-
-All the latest developments, changes, documentation can
-be found at:
-
-http://babelfish.arc.nasa.gov/trac/jpf/wiki
-
-
-========Building and Installing =========================
-
-If you are having problems installing and running JPF
-please look at the documentation on the wiki at:
-
-http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start
-
-A lot of the commonly problems during the install and build
-process have been documented on the wiki. Please make sure
-that the the issue you are running into is not addressed
-there; if is not then feel free to contact us at
-java-pathfinder@googlegroups.com
-
-
-======Documentation======================================
-
-There is a constant effort to update and add JPF
-documentation on the wiki. If you would like to contribute
-in that, please contact us at
-java-pathfinder@googlegroups.com
-
-
-
-Happy Verification
--- the Java PathFinder team
-# jpf-core
-This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
+ Java PathFinder README
+ ======================
+
+========General Information about JPF ===================
+
+All the latest developments, changes, documentation can
+be found at:
+
+http://babelfish.arc.nasa.gov/trac/jpf/wiki
+
+
+========Building and Installing =========================
+
+If you are having problems installing and running JPF
+please look at the documentation on the wiki at:
+
+http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start
+
+A lot of the commonly problems during the install and build
+process have been documented on the wiki. Please make sure
+that the the issue you are running into is not addressed
+there; if is not then feel free to contact us at
+java-pathfinder@googlegroups.com
+
+
+======Documentation======================================
+
+There is a constant effort to update and add JPF
+documentation on the wiki. If you would like to contribute
+in that, please contact us at
+java-pathfinder@googlegroups.com
+
+
+
+Happy Verification
+-- the Java PathFinder team