]> matita.cs.unibo.it Git - helm.git/commit
Cic2acic : added some debugging information
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:09:35 +0000 (12:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:09:35 +0000 (12:09 +0000)
commitc465c17581bf606e0330cbd89b238279c184ad35
treefeabdb6bc87215843cd61da172b6183a3ecfeef1
parentccd879c23e341fe287f8fd1078c4cef459cf24f5
Cic2acic  : added some debugging information
Procedural: some refactoring and improvements
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/acic_procedural/Makefile
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralClassify.ml
helm/software/components/acic_procedural/proceduralHelpers.ml [new file with mode: 0644]
helm/software/components/acic_procedural/proceduralHelpers.mli [new file with mode: 0644]
helm/software/components/acic_procedural/proceduralPreprocess.ml
helm/software/components/cic_acic/cic2acic.ml
helm/software/components/cic_acic/cic2acic.mli