]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c137ba8) | patch
Adding tacticAst2Box (pretty printer for tactical, preliminary version).
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 19 Feb 2004 08:32:56 +0000 (08:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 19 Feb 2004 08:32:56 +0000 (08:32 +0000)
commit9766d606b71ec69594919ca34b067e268afeabf0
tree412b73e7dd158f0d0452059f6749e1c935131f40tree | snapshot
parentc137ba88f68a47e567077909a23993c3c8c9854dcommit | diff
Adding tacticAst2Box (pretty printer for tactical, preliminary version).
helm/ocaml/cic_transformations/.depend diff | blob | history
helm/ocaml/cic_transformations/Makefile diff | blob | history
helm/ocaml/cic_transformations/ast2pres.ml diff | blob | history
helm/ocaml/cic_transformations/ast2pres.mli diff | blob | history
helm/ocaml/cic_transformations/tacticAst2Box.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/tacticAst2Box.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.