]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da28482) | patch
app of app inside smart application.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 07:18:36 +0000 (07:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 07:18:36 +0000 (07:18 +0000)
commit05fe6622703b84fde385b0caa19ff9e9886c482d
tree44f587fdfb0173c89526b945f2fbcb848f7e2a7btree | snapshot
parentda284829d696ab53dfa437e169fa669c8e58de7dcommit | diff
app of app inside smart application.
helm/software/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.