]> matita.cs.unibo.it Git - helm.git/commit
Inline command implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 15:59:34 +0000 (15:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 15:59:34 +0000 (15:59 +0000)
commitdf61a96a76dcad98ebaee2faf875afd31dff7ead
tree670ebb37dc0275b49f7e3f063e3dafc70a1128da
parent4b2d808b3297a307395d19fcf1502b4687e9120d
Inline command implemented.
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteDisambiguate.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/matita/matita.lang
helm/software/matita/matitaScript.ml