Beautify README.md files

README.md

-This is the code generator **B2Program** for generating code from B to other programming languages.
+# B2Program
 
-A subset of B is supported for Java and C++ now.
-
-The implementation of the types in B uses persistent set from:
-https://github.com/arximboldi/immer
+This is the code generator **B2Program** for generating code from B to other
+programming languages.
 
-The library must first be installed before the generated C++ code can be used.
+A subset of B is supported for Java and C++ now.
 
-The generated code in Python is not supported as the implementations of needed B Types are missed.
+Note:
 
-The generated code for C works for a subset of the generated code that works for Java. Sets and couples are not supported for C. 
+* The implementation of the types in B uses persistent set from:
+  https://github.com/arximboldi/immer
+* The library must first be installed before the generated C++ code can be used.
+* The generated code in Python is not supported as the implementations of needed
+  B Types are missed.
+* The generated code for C works for a subset of the generated code that works
+  for Java.
+* Sets and couples are not supported for C.
   Including other machines is not supported in C, too.
   The only types that are implemented for C are BInteger and BBoolean.
+  An example where code generation for C works is the machine Lift.
 
-An example where code generation for C works is the machine Lift
-
-
-
-<br>
-<br>
-<br>
-<br>
-<br>
-
+## Usage
 
+### Starting the code generator
 
-**Starting the code generator:**
+```bash
+# Java
+./gradlew run -Planguage="java" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
 
-Java : Example: gradle run -Planguage="java" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
+# Python
+./gradlew run -Planguage="python" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
 
-Python: Example: gradle run -Planguage="python" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
+# C
+./gradlew run -Planguage="c" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
+```
 
-C: Example: gradle run -Planguage="c" -Pbig_integer="true/false" -Pfile="de/hhu/stups/codegenerator/testfiles/Lift.mch"
+### Compile the generated code in Java
 
+1. Run `./gradlew build` in project btypes
+2. Move `btypes-all-2.9.12-SNAPSHOT.jar` to same folder as the generated classes
+3. `javac -cp btypes-all-2.9.12-SNAPSHOT.jar <files....>`
+4. Example: `javac -cp btypes-all-2.9.12-SNAPSHOT.jar TrafficLightExec.java TrafficLight.java`
+  (Code generated from TrafficLightExec.mch which includes TrafficLight.mch)
 
-<br>
-<br>
-<br>
-<br>
-<br>
-
-
-
-**Compile the generated code in Java:**
-
-1. Run 'gradle build' in project btypes
-2. Move btypes-all-2.9.12-SNAPSHOT.jar to same folder as the generated classes
-3. javac -cp btypes-all-2.9.12-SNAPSHOT.jar *files*
-4. Example: javac -cp btypes-all-2.9.12-SNAPSHOT.jar TrafficLightExec.java TrafficLight.java (Code generated from TrafficLightExec.mch which includes TrafficLight.mch)
-
-**Compile the generated code in C:**
+### Compile the generated code in C
 
 1. Move BInteger and BBoolean to same folder as generated code (see btypes/src/main/c)
-2. gcc *input file* -o *output file*
-3. Example: gcc Lift.c -o Lift
+2. `gcc <input file> -o <output file>`
+3. Example: `gcc Lift.c -o Lift`
 
+### Execute the generated code in Java
 
-**Execute the generated code in Java:** 
 1. Write a main function in the generated main class
-2. java -cp :btypes-all-2.9.12-SNAPSHOT.jar *main file*
-3. Example: java -cp :btypes-all-2.9.12-SNAPSHOT.jar TrafficLightExec
+2. `java -cp :btypes-all-2.9.12-SNAPSHOT.jar <main file>`
+3. Example: `java -cp :btypes-all-2.9.12-SNAPSHOT.jar TrafficLightExec`
 
+### Execute the generated code in C
 
-
-**Execute the generated code in C:** 
 1. Write a main function in the generated main file
-2. ./*main file*
-3. Example: ./Lift
-
-
-Analysis of the Performance is described in the README in directory *benchmarks*
-
+2. `./main.c`
+3. Example: `./Lift`
 
+## Performance
 
+Analysis of the Performance is described in
+[benchmarks/README.md](benchmarks/README.md).

benchmarks/README.md

-**Analysis of the Performance in the generated code:**
+## Analysis of the Performance in the Generated Code
 
 1. Switch to the directory *java*
 2. Switch to the directory *persistent* or *nonpersistent*
 3. Use belonging make command (Example: make lift)
 
-<br>
-<br>
-<br>
+## Analysis of the Performance in ProB
 
-**Analysis of the Performance in ProB:**
 1. Switch to folder *prob*
 2. Use belonging make command (Example: make lift)