]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfd97b1) | patch
use the appropriate chain of transormations for pretty printing term
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 10:52:11 +0000 (10:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 10:52:11 +0000 (10:52 +0000)
commit753a0e63220dd2a67563a887fa59ba3c8f5a62bc
treef3e25524c1f4dc5e82574d98e9a2d6d84e756391tree | snapshot
parentdfd97b1229e856e7d7fbdd5e11ddf60707d05ae0commit | diff
use the appropriate chain of transormations for pretty printing term
components/binaries/tptp2grafite/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.