matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 14 May 2008 15:36:26 +0000 (15:36 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 14 May 2008 15:36:26 +0000 (15:36 +0000)
commit	738ff6e752f9e5facba4e92bdb64453062f52c7d
tree	f6995371286f6488f6802eda22820d5ae81eb27b	tree \| snapshot
parent	e8bc22fd878eefb14d6c78dc6bcf1d620b4022b3	commit \| diff

nuri_of_ouri, ouri_of_nuri, reference_of_ouri, ouri_of_reference moved
to NCic2OCic or to OCic2NCic.\fThe kernel is now clean of conversion functions.

13 files changed:

helm/software/components/ng_kernel/.depend		diff \| blob \| history
helm/software/components/ng_kernel/.depend.opt		diff \| blob \| history
helm/software/components/ng_kernel/Makefile		diff \| blob \| history
helm/software/components/ng_kernel/check.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCic2OCic.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCic2OCic.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicLibrary.ml		diff \| blob \| history
helm/software/components/ng_kernel/nReference.ml		diff \| blob \| history
helm/software/components/ng_kernel/nReference.mli		diff \| blob \| history
helm/software/components/ng_kernel/nUri.ml		diff \| blob \| history
helm/software/components/ng_kernel/nUri.mli		diff \| blob \| history
helm/software/components/ng_kernel/oCic2NCic.ml		diff \| blob \| history
helm/software/components/ng_kernel/oCic2NCic.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom