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

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

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	owners table not needed	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	added new ownerize function	blob \| commitdiff \| raw \| diff to current

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