]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87bdd06) | patch
Syntax of patterns changed (and not documented yet).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Oct 2007 12:37:21 +0000 (12:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Oct 2007 12:37:21 +0000 (12:37 +0000)
commit39541174994235283a3c67e0c48b52e067c948af
treed919055387f374ac4646c1055520e7fb3e28f087tree | snapshot
parent87bdd061d096c836a02c77aa26e80d9c36180fadcommit | diff
Syntax of patterns changed (and not documented yet).
It is now:
 match p with [ _ => p | ... | _ => p ]
(use lambda-abstractions for dummy arguments). Hmmm...
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.