Update and rename README to README.md

7f6e599b · Jens Bendisposto · d72d5e8c · d72d5e8c · 7f6e599b
Commit 7f6e599b authored 9 years ago by Jens Bendisposto
--- a/README
+++ b/README
-tla2bAST
\ No newline at end of file
--- a/README.md
+++ b/README.md
+# tla2bAST
+[![Build Status](https://travis-ci.org/hhu-stups/tla2bAST.svg)](https://travis-ci.org/hhu-stups/tla2bAST)