]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c593b6) | patch
Type arguments are better uncapitalized.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 18:55:44 +0000 (18:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 18:55:44 +0000 (18:55 +0000)
commit7d0bd76b8c1a425b5447d834aef3bf60826a12e2
tree2646bd2fce78e488e1a2b1a7f48ba8963958c164tree | snapshot
parent6c593b6e83713bf493ad9e5e0688d9ec2fc9f768commit | diff
Type arguments are better uncapitalized.
helm/software/components/cic_exportation/cicExportation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.