]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 055981b) | patch
changed match syntax:
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 15:45:19 +0000 (15:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 15:45:19 +0000 (15:45 +0000)
commitd5e420ba0286d6b6ccab7101bdd75a1442385e06
tree0035286d880330fb865d11b06a369c847e34b041tree | snapshot
parent055981b13cb4222632a46dbdf07859f522569d52commit | diff
changed match syntax:
match x in type ty_x with ...
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.