]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd70926) | patch
Minor improvements in pretty-printing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Mar 2009 16:23:45 +0000 (16:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Mar 2009 16:23:45 +0000 (16:23 +0000)
commit275b124e484510dc49141f86b5174f8bd0be7d97
tree8ccc6be77533a3d375fcabb92eb2dba332c4e51ctree | snapshot
parentdd70926289053cdc003776a5074d2262a2ec8243commit | diff
Minor improvements in pretty-printing.
helm/software/matita/contribs/formal_topology/bin/comb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.