]> matita.cs.unibo.it Git - fireball-separation.git/commit
Moved all problems in problems folder. Last ones in "w"
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 14:01:36 +0000 (16:01 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 14:03:57 +0000 (16:03 +0200)
commitf7a60345135a4032bf63a7dc650bcc9fe30aa30a
treee22c0fa7085512364ea45d48b89b13bc644b0dc5
parent48099a8d17ed96681087fa7e7c507dc2ec209125
Moved all problems in problems folder. Last ones in "w"
ocaml/parser.ml
ocaml/problems.ml
ocaml/problems/m [new file with mode: 0644]
ocaml/problems/n [new file with mode: 0644]
ocaml/problems/q [new file with mode: 0644]
ocaml/problems/w [new file with mode: 0644]