]> 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)
commit1c4d219404055f521ecf48528d7b9853d7a03499
tree62fc869a792b53bd41b0de191de0d6936633d14d
parentd906171bfb30327a9b3bc3c73c3380908f8c6f57
some improvements
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralPreprocess.ml