]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0dd3e6) | patch
fixed cosmetic typos during pretty printing
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Feb 2004 14:24:11 +0000 (14:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Feb 2004 14:24:11 +0000 (14:24 +0000)
commitbaf82ae86a06877b7e078c91d000aaf6863f8cd1
tree91aed3146355998a5cd65faa2db8042d06f55776tree | snapshot
parentc0dd3e6a0100462e79d40e4dca2df7d9b89afe76commit | diff
fixed cosmetic typos during pretty printing
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.