Renamed readme
authorNastaran Shafiei <nastaran.shafiei@nasa.gov>
Wed, 31 May 2017 06:59:56 +0000 (23:59 -0700)
committerNastaran Shafiei <nastaran.shafiei@nasa.gov>
Wed, 31 May 2017 06:59:56 +0000 (23:59 -0700)
README [deleted file]
README.md

diff --git a/README b/README
deleted file mode 100644 (file)
index 8fbfa95..0000000
--- a/README
+++ /dev/null
@@ -1,36 +0,0 @@
-                          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
index 47ebe4a..8fbfa95 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