]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c50e53d) | 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)
commit55b7e104ed4b153fdbffdc3b4284313b3f18c571
treeb98d70399924292cdc3cfbea6742673d0c0b1d3atree | snapshot
parentc50e53d7823a04b65233c61f738c2b5caa0dcf6fcommit | diff
use the appropriate chain of transormations for pretty printing term
helm/software/components/binaries/tptp2grafite/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.