]> 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)
commitd178a0a4809c0c6693b2c00ab7359a1b414cd805
treeb6c3240f69614762db18e2d54afed59aaaa25847
parentb54b2b352753b1c784d06118fc689c1ee9f9feaf
GrafiteAstPp: \n's finally fixed
acic_procedural:
 - elimination patterns are generated correctly
 - comments on elimination cases added
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralClassify.ml
helm/software/components/acic_procedural/proceduralClassify.mli
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralConversion.mli
helm/software/components/acic_procedural/proceduralMode.ml
helm/software/components/acic_procedural/proceduralMode.mli
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/grafite/grafiteAstPp.ml