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

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

2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw
2005-05-16	Enrico Tassi	fixed instance	blob \| commitdiff \| raw \| diff to current
2005-05-13	Stefano Zacchiroli	added support for hits table	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	removed no_inconcl_aux, no_concl_hyp, no_hyp and added...	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-02-08	Enrico Tassi	at_least now supports the ownerized tables	blob \| commitdiff \| raw \| diff to current
2005-02-04	Enrico Tassi	locate now searched bot the standard library and the...	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	cosmetic changes	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	new metadataTypes interface (with ownerize function)	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	- changed metadata type so that positions contains...	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-18	Stefano Zacchiroli	implemented here at_least constraints matching engine	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.