]> matita.cs.unibo.it Git - helm.git/commit
added aps generation
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 May 2008 14:36:16 +0000 (14:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 May 2008 14:36:16 +0000 (14:36 +0000)
commit3c46776d941312a0faa2e0ae2e112dd76242b6c9
tree7a7f0a44316b654cbc0ba6c884d9583bf4e36285
parentbbb941eb47625a07d36e0e45d6172cfa99bca027
added aps generation
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/alluris.txt