]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/cicTextualParser2.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 403c0a8) | patch
fixed issue with explicit named substitutions
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 May 2005 14:13:23 +0000 (14:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 May 2005 14:13:23 +0000 (14:13 +0000)
commit17c5ad881e737bd2cba2e157f346a618fce87204
treebcb74f87b4f546e9c8594f95f3a8f18257bcef43tree | snapshot
parent403c0a86bc67e674e5dc4a7ff822180d761a5159commit | diff
fixed issue with explicit named substitutions
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.