]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/tacticAstPp.mli
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9577234) | patch
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
tree9cd9025e9b44a4f615b152f41059126aa7592c37tree | snapshot
parent9577234cdce1fea3f0090f954f15f897efd2394dcommit | diff
New function (only partially implemented) to pretty print an Ast at the
semantics level.
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.