]> matita.cs.unibo.it Git - helm.git/commit
GrafiteAstPp: \n's finally fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Apr 2007 15:41:14 +0000 (15:41 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Apr 2007 15:41:14 +0000 (15:41 +0000)
commit1dd6fc8c5d7bde039972a208c5eb03d3ea8303dd
tree9097fc4c8eb018636d1a8b4878c6bd131a9470c4
parentc4df237cf74270f9e4aa164d5fe0415181406a49
GrafiteAstPp: \n's finally fixed
acic_procedural:
 - elimination patterns are generated correctly
 - comments on elimination cases added
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralClassify.ml
components/acic_procedural/proceduralClassify.mli
components/acic_procedural/proceduralConversion.ml
components/acic_procedural/proceduralConversion.mli
components/acic_procedural/proceduralMode.ml
components/acic_procedural/proceduralMode.mli
components/acic_procedural/proceduralTypes.ml
components/grafite/grafiteAstPp.ml