]> matita.cs.unibo.it Git - helm.git/commit
Procedural: some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Dec 2006 21:10:52 +0000 (21:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Dec 2006 21:10:52 +0000 (21:10 +0000)
commit2c4dd8bdb55dff0c590ee6abd94aab0e7417c626
tree590b52e650de985384dc233a03b373536c9b71d1
parentc63590f609ffda64f0af782bccb127e1701c34d7
Procedural: some improvements
helm/software/components/content_pres/content2Procedural.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/matita/contribs/prova.ma
helm/software/matita/matitaScript.ml