]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a74607) | patch
Reindented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jun 2012 08:29:36 +0000 (08:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jun 2012 08:29:36 +0000 (08:29 +0000)
commit5af5db14a2bb7583ae1b8eaaf18ad26a06e3d892
tree6c1efc2d7604e4c1a948892e514c758cc831b555tree | snapshot
parent8a74607bfb8c49e529c4b55a8cad92dd0c68012fcommit | diff
Reindented
matita/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.