]> 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)
commit8d04559d1b190e74e1d560000b01a648d086f484
tree018dd01af5a9f85fc3268466b29a42bdcc89ccea
parenteacb4cecf5753579268fbadb2ed64d1a987b7629
Procedural: some improvements
components/content_pres/content2Procedural.ml
components/grafite/grafiteAstPp.ml
components/grafite_parser/grafiteParser.ml
matita/contribs/prova.ma
matita/matitaScript.ml