]> matita.cs.unibo.it Git - helm.git/commit
uri -> reference (2)
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 5 Feb 2008 15:23:08 +0000 (15:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 5 Feb 2008 15:23:08 +0000 (15:23 +0000)
commit085cfc8bc4f775e8879a31c6de35d08aed500332
treeb680777ff3a7773b20c2bf526053f084fdd9d064
parent3f5fd615a881e80716b35f4f0084934850555a55
uri -> reference (2)
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_kernel/nReference.ml [new file with mode: 0644]
helm/software/components/ng_kernel/nReference.mli [new file with mode: 0644]
helm/software/components/ng_kernel/nUriManager.ml [deleted file]
helm/software/components/ng_kernel/nUriManager.mli [deleted file]