]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca2eda8) | patch
Arguments of constructors in a case pattern are now ppid-ed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 14:06:13 +0000 (14:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 14:06:13 +0000 (14:06 +0000)
commitdb04e50168be1d78e9074543990c6c7d0b40298b
tree27acb3f54e0ba02fafabd5bc86a16ebbc71d46f5tree | snapshot
parentca2eda866571f87cebc56fd4e2f81b53c035635bcommit | diff
Arguments of constructors in a case pattern are now ppid-ed.
helm/software/components/cic_exportation/cicExportation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.