]> matita.cs.unibo.it Git - helm.git/commit
applyTransformation: added debugging information
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 May 2007 10:41:12 +0000 (10:41 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 May 2007 10:41:12 +0000 (10:41 +0000)
commit20c9d7116bdfefe8075dd04266836c183d66178e
tree55c97f47c73193293e3aed21019a2a6b9ef9c891
parent797f61edb93f41eb2c5e281bc9457f6bff633063
applyTransformation: added debugging information
makefiles: %.mo.opt now working
developments.txt: added Base-2 devel
acic_procedural: some improvements
 new optimization: atomic let-ins are now expanded
17 files changed:
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralHelpers.ml
helm/software/components/acic_procedural/proceduralHelpers.mli
helm/software/components/acic_procedural/proceduralOptimizer.ml
helm/software/matita/applyTransformation.ml
helm/software/matita/contribs/CoRN-Decl/makefile
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/makefile
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/makefile
helm/software/matita/contribs/RELATIONAL/makefile
helm/software/matita/contribs/developments.txt
helm/software/matita/dama/makefile
helm/software/matita/legacy/makefile
helm/software/matita/library/makefile
helm/software/matita/library_auto/makefile
helm/software/matita/tests/makefile