]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 276d4f7) | patch
Clean up, improve comments, move functions
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 13:32:01 +0000 (15:32 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 13:32:01 +0000 (15:32 +0200)
commit62d2aea15e05a7366e0bbdc71574ad50cda28ff5
tree8d3825305f76ccec4675bdda733c6c164bcd3273tree | snapshot
parent276d4f75cbe40801f2d9faa82ac82d1c82204e55commit | diff
Clean up, improve comments, move functions

`run' is the new entrypoint in simple.ml
ocaml/simple.ml diff | blob | history
ocaml/simple.mli diff | blob | history
ocaml/simple_test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.