Ignoring build.properties file
[jpf-core.git] / README.md
index 5fb0ca8..f57ccbe 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,35 +1,34 @@
-                          Java PathFinder README
-                          ======================
+# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
 
-========General Information about JPF ===================
 
-All the latest developments, changes, documentation can
-be found at: 
+An extensible software model checking framework for Java bytecode programs
 
-https://github.com/javapathfinder/jpf-core/wiki
+## General Information about JPF
 
-========Building and Installing =========================
+All the latest developments, changes, documentation can be found on our
+[wiki](https://github.com/javapathfinder/jpf-core/wiki) page.
 
-If you are having problems installing and running JPF
-please look at the documentation on the wiki at:
+## Building and Installing
 
-https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF
+If you are having problems installing and running JPF, please look at the [How
+to install
+JPF](https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF) guide.
 
-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
 
+We have documented on the wiki a lot of common problems during the install and
+build processes reported by users.  If you are facing any issue, please, make
+sure that we have not addressed it in documentation. Otherwise, feel free to
+contact us at java-pathfinder@googlegroups.com or open an issue on the Issue
+Tracker.
 
-======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
+## 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.
 
+Contributions are welcomed and we encourage you to get involved with the
+community.
 
 Happy Verification
--- the Java PathFinder team
+*-- the Java PathFinder team*