]> matita.cs.unibo.it Git - helm.git/commit
New function (only partially implemented) to pretty print an Ast at the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 12:10:00 +0000 (12:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 12:10:00 +0000 (12:10 +0000)
commitee8cb3c92bdfd478ed5eefe1735e48dc2dccbed2
tree9cd9025e9b44a4f615b152f41059126aa7592c37
parent9577234cdce1fea3f0090f954f15f897efd2394d
New function (only partially implemented) to pretty print an Ast at the
semantics level.
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/cic_transformations/tacticAstPp.mli