]> matita.cs.unibo.it Git - helm.git/commit
ref sync check fixed controlling fix/cofix coherence
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 11:51:14 +0000 (11:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 11:51:14 +0000 (11:51 +0000)
commit8d4d4ff40606138ea72668cf46a95c776d2f1b7c
tree8b929266fe7435700aecb228b47e88bb96a05575
parenta39198af1a517ae1fd7fd5f439b7e7775a25979c
ref sync check fixed controlling fix/cofix coherence
helm/software/components/ng_kernel/nCicTypeChecker.ml