]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ecd65d) | patch
bugfix in default magic handling: consider as having option type only names
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Sep 2005 15:29:00 +0000 (15:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Sep 2005 15:29:00 +0000 (15:29 +0000)
commit6ab174a7f866b87921e66fcc3fdd137a01456c78
tree074770f7c666c70e950f8ddab66a23eb2f830950tree | snapshot
parent2ecd65dbcc1388bb2dfe6425e6ef1b2e3f45c4accommit | diff
bugfix in default magic handling: consider as having option type only names
which appear in the some branch and in the none one (previously all names
appearing in the some branch where considered optional)
helm/ocaml/cic_notation/cicNotationFwd.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationMatcher.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.