]> 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>
Mon, 28 May 2018 09:09:00 +0000 (11:09 +0200)
commit1398932771b9914e73cbef512195305ae60af8a5
tree06a5000a92c5e26df46d7504c1c37d42b0991b5d
parent4f38fd688913f856c80ce24254e0f41314dabbea
Moved all problems in problems folder. Last ones in "w"

(cherry picked from commit f7a60345135a4032bf63a7dc650bcc9fe30aa30a)
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]