]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13d6baa) | patch
support pretty printing of Cic.Implicit
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Nov 2005 18:03:36 +0000 (18:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Nov 2005 18:03:36 +0000 (18:03 +0000)
commit174922d9d8f206ee4e2e87ebf90dea06613ed2fa
tree12ae9979c1c69ccb87a3e61dbdcae871d79e736ctree | snapshot
parent13d6baa55139729871604c0c3f70a70077ba85cacommit | diff
support pretty printing of Cic.Implicit
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.