]> matita.cs.unibo.it Git - helm.git/commit
better pps
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:12:15 +0000 (10:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:12:15 +0000 (10:12 +0000)
commita4086666ce84a0a71a587cafd52d1a08b26e54f0
tree0c552db12bb3d13c1982f69506014db870aa8dfe
parentb91dfc5e2b00e6b0b4cb81109192bb2b825055a1
better pps
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli