]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6152ae) | patch
- ported to current metadata API
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:01 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:01 +0000 (17:21 +0000)
commitafb25a74a7c9403c07c67e58efb6460207e228b3
treea5768338c8dfb8d24b1e299337b6f4c86ad1cc1etree | snapshot
parentc6152ae37c7d2acb6b0f79a50dc64159308b980acommit | diff
- ported to current metadata API
- changes so that it does not index a single URI given on cmdline, but
  rather all the URIs contained in a file
helm/ocaml/metadata/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.