]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6fdc9a) | patch
added lazy
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:38:54 +0000 (07:38 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:38:54 +0000 (07:38 +0000)
commit44080f418c87583c71c816f4c34a2bffea90bab5
treeaf3c918d32153d0ceef35a8e9f6169319e7aa1f8tree | snapshot
parentf6fdc9a280341b52ba0ec7a770e1abd552e6b704commit | diff
added lazy
helm/software/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.