]> matita.cs.unibo.it Git - fireball-separation.git/commit
printing of bool refs for apps is now a bit nicer
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Jun 2018 21:53:29 +0000 (23:53 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:55:04 +0000 (16:55 +0200)
commit73c253890a1f287278327aa49db613941ebf9527
tree51dd49645a78b508cc1952255a615821cf3cfdd2
parent3af742bc49d1fbdf6c2c044abde8ec8a8b081654
printing of bool refs for apps is now a bit nicer
ocaml/simple.ml