]> matita.cs.unibo.it Git - fireball-separation.git/commit
Prettier-printing: string_of_problem outputs OCaml code
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 19:48:01 +0000 (21:48 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:25:51 +0000 (10:25 +0200)
commitf59fa8ab2b6eda5298701bf476da326b795cc17b
treeec1a10b98fced06358982924d9a84b02acdfd80f
parent3b65954878fa6afdbcbc7e120bc0588f0e10581a
Prettier-printing: string_of_problem outputs OCaml code

(cherry picked from commit d97b1a852472085bf3449e34f3b25aee349686fd)
ocaml/lambda4.ml
ocaml/num.ml