]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d57b04c) | patch
- we replaced a normalize with a whd in the classification algorithm
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2008 18:46:29 +0000 (18:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2008 18:46:29 +0000 (18:46 +0000)
commit790eccfa6b94dc82826d919691f8d4bfadb04573
treed31e78accc6c23ce2f9f8614a2d480e9b8489537tree | snapshot
parentd57b04c45c3dafa7b56a3dc2019c2ab0de730406commit | diff
- we replaced a normalize with a whd in the classification algorithm
- we turned on the display of the inner types to debug drop/props.ma
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralClassify.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.