SmartPrint added
Meta informations added
OCaml version added
MD5 sum added
Merge pull request #1448 from clarus/master

SmartPrint added