]> matita.cs.unibo.it Git - helm.git/commit
Procedural: bug fix
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Mar 2007 15:49:41 +0000 (15:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Mar 2007 15:49:41 +0000 (15:49 +0000)
commit2c3f1e9084c0b965e1d527934e0e512164c11e57
tree0a98916dae1110e6af59cd4e4b2a4e599861aa01
parent295ad18b6a120d8317f0442d329a9d619a8cb53a
Procedural: bug fix
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralPreprocess.ml