]> 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)
commitef3fcb64ec5eca518af3053b7f1c94c1aaeb20c4
tree0e9018ea444205274bc37fb9f3d8e64b6fa8054c
parent51bcceed90882024de4c614d5f26d17eaaf7f18f
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:
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralHelpers.ml
components/acic_procedural/proceduralHelpers.mli
components/acic_procedural/proceduralOptimizer.ml
matita/applyTransformation.ml
matita/contribs/CoRN-Decl/makefile
matita/contribs/LAMBDA-TYPES/Base-1/makefile
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
matita/contribs/PREDICATIVE-TOPOLOGY/makefile
matita/contribs/RELATIONAL/makefile
matita/contribs/developments.txt
matita/dama/makefile
matita/legacy/makefile
matita/library/makefile
matita/library_auto/makefile
matita/tests/makefile