]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7815a91) | 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)
commited1464b97ccf445d9824b34c9b1adec5c321eee0
tree3a56ec514341ff550eb453311320fe9d5bbeec72tree | snapshot
parent7815a9150b5581f60e49ad6520f46ac287e073facommit | diff
Coercions are now hidden by default in termAcicContent.ml.
helm/software/components/METAS/meta.helm-acic_content.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.