]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51f54cc) | patch
added Format-library-friendly pretty printers defined on top of the
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:31:27 +0000 (12:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:31:27 +0000 (12:31 +0000)
commit136fb0fde826e200ee8a0e902dbb6278b2afdeb8
tree6fc5fc0051bbab050dfdc5693f3fba8115f879e1tree | snapshot
parent51f54cc6883cbb44067fee5387462e7ac83dad1ccommit | diff
added Format-library-friendly pretty printers defined on top of the
previous ones (still exported)
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.