]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f2b388) | patch
commented out uris of objs that do not compile properly
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 16:19:11 +0000 (16:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 16:19:11 +0000 (16:19 +0000)
commit3c7db631a1cbb1d91f3109431c046ef78c3d89b9
tree652ee4bc9b70c77a406fccb76f29fbc9188b4e12tree | snapshot
parent8f2b388ed93eca7de9a9fe70eaf2e0ab2588e6b7commit | diff
commented out uris of objs that do not compile properly
helm/software/components/ng_kernel/alluris.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.