]> matita.cs.unibo.it Git - helm.git/commit
added a list of uris to ease debugging
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 11:26:54 +0000 (11:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 11:26:54 +0000 (11:26 +0000)
commitc48c7e28f54e00e12755f703a8c46187be701ed2
treefda674e019ffbd223480f5c86d957cf6bc288ad7
parentbb48f187f60642ea1e8db9a73c9ae29042ce02cb
added a list of uris to ease debugging
helm/software/components/ng_kernel/alluris.txt [new file with mode: 0644]
helm/software/components/ng_kernel/check.ml