]> matita.cs.unibo.it Git - helm.git/commit
compact coercion command: "coercion foo."
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Oct 2011 13:24:47 +0000 (13:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Oct 2011 13:24:47 +0000 (13:24 +0000)
commit237f4bfbb6d79b38e9417b776495b068b54aff6a
treee8d181f8448cd13dd4eb774b98848905efd97896
parent15822b46a7d0f5ce77983e395f3a32a20029e7d6
compact coercion command: "coercion foo."
matitaB/components/content_pres/cicNotationParser.ml
matitaB/components/grafite/grafiteAst.ml
matitaB/components/grafite_engine/grafiteEngine.ml
matitaB/components/grafite_parser/grafiteParser.ml
matitaB/components/grafite_parser/print_grammar.ml