]> matita.cs.unibo.it Git - helm.git/commit
some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Mar 2007 15:31:02 +0000 (15:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Mar 2007 15:31:02 +0000 (15:31 +0000)
commit009d1bf3b0ad7f79378f3842c8c59f6eaecca68c
tree8d364960981ae86793a6cdc17b8d09b0ed76d2e9
parent2c3f1e9084c0b965e1d527934e0e512164c11e57
some improvements
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralPreprocess.ml