]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f32d668) | patch
Bug fix: index.theory dereferentiation works also for exists and resolve.
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Nov 2005 17:36:39 +0000 (17:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Nov 2005 17:36:39 +0000 (17:36 +0000)
commit941807b52d8dda07f231bd8ecd8cb6003abb3195
treecf9c7041f1580d0f307d5615ee7e9e2c8e37b41dtree | snapshot
parentf32d668005b27b2eb8cc984a5dd57506b2d1f7e7commit | diff
Bug fix: index.theory dereferentiation works also for exists and resolve.
helm/ocaml/getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.