]> matita.cs.unibo.it Git - helm.git/commit
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)
commitc50e53d7823a04b65233c61f738c2b5caa0dcf6f
tree7f7b229aa7d829e0467c4fa42f2ebbc9e377dccd
parent17c6ad0e6bf49a6690ff4fa5e56feac5a42b9099
made pp_term parametric and explained the proper way of solving the object pretty printing problem
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/acic_content/cicNotationPp.mli