]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66a331a) | patch
added fallback case (assertion failure) for unsupported Implicit annotations
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:09:20 +0000 (16:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:09:20 +0000 (16:09 +0000)
commit2be5f2d8506642e8e7acf04356c5ce9cc0481358
treee5d96ab87259811719c7b0ae9789f61a6e4085ddtree | snapshot
parent66a331a32509281f0c28ced014640e98a49cc0e0commit | diff
added fallback case (assertion failure) for unsupported Implicit annotations
helm/ocaml/cic_unification/cicMkImplicit.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.