]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32522cf) | patch
trust is always false by default
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 May 2008 21:41:57 +0000 (21:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 May 2008 21:41:57 +0000 (21:41 +0000)
commit9ae6d985833cf9e6855f41c942dc3c3d24af10e0
treeb1f961621367aca35171fa66390c4a9120af1ec1tree | snapshot
parent32522cf70b6bc38f0c3cc5d25b9bd1a93f05862fcommit | diff
trust is always false by default
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.