]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e32b48) | patch
Coercions are now hidden by default in termAcicContent.ml.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Feb 2006 18:23:18 +0000 (18:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Feb 2006 18:23:18 +0000 (18:23 +0000)
commitfc605d89d2ba080c73ded2d2276eb5c37abd7b35
tree4c5d17397619b36430f82f041f22fbd20a89716ftree | snapshot
parent9e32b487a1343ead9069ea76e40515ceb19d26d6commit | diff
Coercions are now hidden by default in termAcicContent.ml.
components/METAS/meta.helm-acic_content.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.