]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c88661c) | patch
made pp_term parametric and explained the proper way of solving the object pretty...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 10:51:34 +0000 (10:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 10:51:34 +0000 (10:51 +0000)
commitdfd97b1229e856e7d7fbdd5e11ddf60707d05ae0
tree4a0b8daf4288d8da618f7d0d9e53ee291f4f2145tree | snapshot
parentc88661c20df65b7a8836ec095d49eb7ff964ac56commit | diff
made pp_term parametric and explained the proper way of solving the object pretty printing problem
components/acic_content/cicNotationPp.ml diff | blob | history
components/acic_content/cicNotationPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.