]> 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)
commita9cf292e7e406a8a2cd88b8f5f84ff2d59bea5e4
treef3051952d12c2a26d74823932d41e937f9f7fbd7
parent309f44c8c35f0d67b50cf9bd37aba51126b8630b
procedural: bug fixes
matita: some \n rearranged
GrafiteAstPp: some \n rearranged
GrafiteParser: added callback
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralOptimizer.ml
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/acic_procedural/proceduralTypes.mli
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/grafite_parser/grafiteParser.mli
helm/software/matita/applyTransformation.ml
helm/software/matita/matitac.ml