]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17c6ad0) | 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)
commitc50e53d7823a04b65233c61f738c2b5caa0dcf6f
tree7f7b229aa7d829e0467c4fa42f2ebbc9e377dccdtree | snapshot
parent17c6ad0e6bf49a6690ff4fa5e56feac5a42b9099commit | diff
made pp_term parametric and explained the proper way of solving the object pretty printing problem
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
helm/software/components/acic_content/cicNotationPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.