README

Author: tycon

README.md

@@ -1,5 +1,5 @@
 About C Intermediate Language (CIL)
-===================================
+-----------------------------------
 
 [CIL][] is a front-end for the C programming language that facilitates
 program analysis and transformation. CIL will parse and typecheck a
@@ -8,20 +8,20 @@ program, and compile it into a simplified subset of C.
 [CIL]: http://www.cs.berkeley.edu/~necula/cil/
 
 About Z3
-=============
+-------------
 
 [Z3] is a state-of-the-art SMT solver by Microsoft Research.
 [Z3]: www.rise4fun.com/Z3
 
 About MLton
-=============
+-------------
 
 [MLton] is a whole-program optimising Standard ML compiler
 [MLton]: http://mlton.org/
 
 
 About Z3MLton
-==============
+--------------
 
 Z3MLton is an extension for CIL that parses Z3 [C API] and generates
 MLton Foreign Function Interface ([MLFFI]) that enables MLton programs