]> matita.cs.unibo.it Git - fireball-separation.git/commit
Run tests with: make run
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 13:42:09 +0000 (15:42 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 13:42:09 +0000 (15:42 +0200)
commitbd621e95f496a5cd40ca75548f32c063212b8987
tree11d4f2c67add19b27a870555b852736a72af7878
parenteb8bb784b35d303a1c239f30008cba79f658f4b3
Run tests with: make run
ocaml/Makefile
ocaml/run [new file with mode: 0644]