]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c7d7ff) | 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)
commitc53b834c50bd6933f852795d2d3dc172ac55ceb2
tree968ff1efbd55a84d27f2b3629c62e45967990a06tree | snapshot
parent7c7d7ff143e5a87874e824dce2ad99590e076788commit | diff
Syntax of patterns changed (and not documented yet).
It is now:
 match p with [ _ => p | ... | _ => p ]
(use lambda-abstractions for dummy arguments). Hmmm...
components/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.