]> 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)
commite64013e67dc485047940b77022078a2fcaad1813
treeb218a4b94dc6ee955d8b73692b4065752097cc83
parent93afc8e27cf27754ff73b426e0b1d4df97224dee
Procedural: some improvements
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralHelpers.ml
helm/software/components/acic_procedural/proceduralOptimizer.ml