]> matita.cs.unibo.it Git - helm.git/commit
Procedural: some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 17:57:03 +0000 (17:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 17:57:03 +0000 (17:57 +0000)
commit1308643448fc685f58827de4c68fc98d0f701062
treed9d42513c85658865c20a627325f1c854cdb5711
parent94cf8189445df1c0ae1d406cd92c4c3ad866fc7e
Procedural: some improvements
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralHelpers.ml
components/acic_procedural/proceduralOptimizer.ml