Renamed readme

[jpf-core.git] / README.md

diff --git a/README.md b/README.md
index 47ebe4abf36ffe0a9b6c4186c6dd5a2d5dced979..8fbfa952083cfe5ce1d23e16e63f39f0ae3b566b 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,2 +1,36 @@
-# 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