]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ad3734) | 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>
Mon, 28 May 2018 09:12:07 +0000 (11:12 +0200)
commit0aaa773167c006689b00b9ff25f867ccbb1caa32
tree92a41a8cbb2a4f6ab1ccd1cac5dc5ee4b3373ff3tree | snapshot
parent9ad3734756bdab9ea23884a7bddbfaa599dbd3aecommit | 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.