]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 173965d) | patch
basic organization of the new kernel
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jan 2008 10:42:22 +0000 (10:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jan 2008 10:42:22 +0000 (10:42 +0000)
commit5f926fd66f345c273bc66cc3ab9b1344ad0eac25
tree78a511fd91b40e7b8e666582785f7a43bcab5639tree | snapshot
parent173965d294635f861850a850769b1530c73b835fcommit | diff
basic organization of the new kernel
helm/software/components/ng_kernel/nCic.ml [new file with mode: 0644] blob
helm/software/components/ng_kernel/nCicEnvironment.mli [new file with mode: 0644] blob
helm/software/components/ng_kernel/nCicTypeChecker.mli [new file with mode: 0644] blob
helm/software/components/ng_kernel/nUriManager.ml [new file with mode: 0644] blob
helm/software/components/ng_kernel/nUriManager.mli [new file with mode: 0644] blob
helm/software/components/ng_kernel/ngcic.ml [deleted file] blob | history
helm/software/components/ng_kernel/oCicTypeChecker.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.