]> matita.cs.unibo.it Git - fireball-separation.git/commit
Code clean-up
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 14:47:50 +0000 (16:47 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 14:47:50 +0000 (16:47 +0200)
commit8fcb433208ce608350ea554dd1d92fa5a45fd463
tree486723210fb768389e9f1b7a2792ddbc8ebee887
parent5d8249a042beefbe21bfeed48619ed1917ebbcb7
Code clean-up
ocaml/Makefile
ocaml/test.ml
ocaml/test1.ml [deleted file]