]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fixes to printing
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 21:28:46 +0000 (23:28 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:28:31 +0000 (10:28 +0200)
commit0a53fcf64c6f9475b7e7de590304d71133095bc7
tree605b3e91475ea5ece3d76b245c455bdb41419e5c
parent65e597bdbc2ba91e8199642dc56fd2a2b1fc127a
Fixes to printing

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