]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0ac944) | patch
Library factorized out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 16:51:14 +0000 (16:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 16:51:14 +0000 (16:51 +0000)
commitcf2b1084c561a6842d7cbc5691943ef53b151aca
treeb5ecf32ee902a88a39c6cb28444616654153c6datree | snapshot
parente0ac9442fc6cc033a3a5bb9d7288b9ce5da99767commit | diff
Library factorized out.
helm/software/components/ng_kernel/nCicLibrary.ml [new file with mode: 0644] blob
helm/software/components/ng_kernel/nCicLibrary.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.