projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fee6414) | patch
Refactor HTML Tracing to not depend on external files (style, javascript). Add a...
authorKim Nguyễn <kn@lri.fr>
Sun, 8 Dec 2013 09:55:54 +0000 (10:55 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 8 Dec 2013 09:57:44 +0000 (10:57 +0100)
commitc6a89f390d6171f99d98f794427c1cce42fbf40c
tree9f13e44ffe1923d481a82244e43e4355d8ef7c9dtree | snapshot
parentfee64144491afab22d71f6e2de72a9f18f35cd55commit | diff
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.
.gitignore diff | blob | history
Remakefile.in diff | blob | history
src/html.ml [deleted file] blob | history
src/html.mli [deleted file] blob | history
src/html_trace.ml diff | blob | history
src/run.ml diff | blob | history
src/trace_css.ml.str [new file with mode: 0644] blob
src/trace_js.ml.str [new file with mode: 0644] blob
tools/ocamlmoduledep.sh diff | blob | history
Tree Automata TOOlkit