]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0495e8) | patch
Duplicated exception definition removed (used to give birth to a bug due to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Nov 2005 12:44:22 +0000 (12:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Nov 2005 12:44:22 +0000 (12:44 +0000)
commit6f2724b64f78339cc7b652e9514813c1705605b0
treead978cabfbeee7b94557947a7aff9398af474e45tree | snapshot
parentb0495e87b8c71686bedab62253cfe2f85c6aa672commit | diff
Duplicated exception definition removed (used to give birth to a bug due to
the generativeness of exceptions).
helm/ocaml/cic_disambiguation/disambiguateChoices.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.