From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 8 Dec 2013 09:55:54 +0000 (+0100)
Subject: Refactor HTML Tracing to not depend on external files (style, javascript). Add a... 
X-Git-Tag: v0.1~11
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=c6a89f390d6171f99d98f794427c1cce42fbf40c;hp=c6a89f390d6171f99d98f794427c1cce42fbf40c;p=tatoo.git

Refactor HTML Tracing to not depend on external files (style, javascript). Add a general facility to turn a file into an OCaml string. The content of file.ml.str is turned into let content = "..." in  a file file.ml.
---