]> matita.cs.unibo.it Git - helm.git/commit
Nuova gestione della width.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jan 2010 10:16:03 +0000 (10:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jan 2010 10:16:03 +0000 (10:16 +0000)
commit78be7f337d5bb2753295a329952b0e9b8a15773a
tree84f99f3579a39be418d2b8057c1d17a4f8dab1eb
parentb082cb1e1fc9dbd471d16d2eb231e883e96e588f
Nuova gestione della width.
helm/software/components/ng_tactics/nnAuto.ml