]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 730255e) | patch
Bug fixed in pretty-printing of original names under lambdas
authoracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 14:57:26 +0000 (16:57 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 14:57:26 +0000 (16:57 +0200)
commitd787e6e7880a454ce6a2dba80a554c93e0eeab41
tree49d91e6b64d31a455cb884ed43ea8b808959dc8ftree | snapshot
parent730255ecc324e0d5f5d6f82def8eeeec3243d650commit | diff
Bug fixed in pretty-printing of original names under lambdas
ocaml/num.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.