]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1748969) | patch
Identity change, improves readability.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:30:45 +0000 (00:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:30:45 +0000 (00:30 +0000)
commitb3093b1353395ee96d03d9e3771798c3425ff4ac
treeb2af165853119698a47682ffc9b043ddb582e7bdtree | snapshot
parent1748969db46c372d20be316e41737cd206129205commit | diff
Identity change, improves readability.
matita/components/ng_kernel/nCicUntrusted.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.