]> matita.cs.unibo.it Git - helm.git/commit
procedural: bug fixes
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Apr 2007 19:06:42 +0000 (19:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Apr 2007 19:06:42 +0000 (19:06 +0000)
commit5abe94a6813fc8fc810df6a35bdb32eaac179536
tree8d119892b5fac99b83cc25bb292789b00101cf3f
parent8b1cf6f098c7ffc7609d525f99f5b37423663970
procedural: bug fixes
matita: some \n rearranged
GrafiteAstPp: some \n rearranged
GrafiteParser: added callback
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralOptimizer.ml
components/acic_procedural/proceduralTypes.ml
components/acic_procedural/proceduralTypes.mli
components/grafite/grafiteAstPp.ml
components/grafite_parser/grafiteParser.ml
components/grafite_parser/grafiteParser.mli
matita/applyTransformation.ml
matita/matitac.ml