]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fixes to parser
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 13:31:04 +0000 (15:31 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:08:59 +0000 (11:08 +0200)
commit4f38fd688913f856c80ce24254e0f41314dabbea
treeb4f113c92db57b453e71154be57cf0d9e89a55e6
parentf7ba4d1225ca4fb09750f3d23b197b8372f1350b
Fixes to parser

(cherry picked from commit 666a228779e465d08a0deea2e35c0cccf5722b40)
ocaml/parser.ml
ocaml/problems.ml
ocaml/problems/p