]> matita.cs.unibo.it Git - helm.git/commit
New syntax -H1 .. Hn for clear
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 10 Dec 2010 11:24:14 +0000 (11:24 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 10 Dec 2010 11:24:14 +0000 (11:24 +0000)
commit3a5ad4a99fd7f312424200a9241ea1a4ce7fcd29
treee9e5860f58c6fb8f4610865946dc093cc72e9fe5
parent9fff8ca8b7cd686b0f7b5e9df77349b7b67e1a58
New syntax -H1 .. Hn for clear
matita/components/grafite/grafiteAst.ml
matita/components/grafite/grafiteAstPp.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_parser/grafiteParser.ml