]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea41b1f) | patch
Added the new auto version (not attached yet).
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Nov 2009 07:23:48 +0000 (07:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Nov 2009 07:23:48 +0000 (07:23 +0000)
commite97c74e4d17e6fc0ce7c39b092f3214244ae21d1
treea545e830db9e56166c050999cd151ac491b9a75ftree | snapshot
parentea41b1f6e212334924a8de4b2ff53b2586de9c4bcommit | diff
Added the new auto version (not attached yet).
helm/software/components/ng_tactics/nnAuto.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.