matita.cs.unibo.it Git - helm.git/history - helm/ocaml/metadata/metadataExtractor.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/metadata/metadataExtractor.ml

2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	blob \| commitdiff \| raw
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-05-17	Stefano Zacchiroli	bugfix: avoid duplicate entries while indexing (changed...	blob \| commitdiff \| raw \| diff to current
2005-05-16	Enrico Tassi	fixed instance	blob \| commitdiff \| raw \| diff to current
2005-05-12	Stefano Zacchiroli	handling of variables with body	blob \| commitdiff \| raw \| diff to current
2005-04-28	Enrico Tassi	single INSERT on multiple tuples	blob \| commitdiff \| raw \| diff to current
2005-04-22	Stefano Zacchiroli	added filtering criteria on differences between number...	blob \| commitdiff \| raw \| diff to current
2005-03-15	Stefano Zacchiroli	bugfix when user query contains metas: their context...	blob \| commitdiff \| raw \| diff to current
2004-10-21	Stefano Zacchiroli	- split metadata type in metadata and constraints....	blob \| commitdiff \| raw \| diff to current
2004-10-20	Stefano Zacchiroli	snapshot, still work in progress	blob \| commitdiff \| raw \| diff to current
2004-10-15	Stefano Zacchiroli	added helm-metadata module	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.