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

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

2006-01-31	Enrico Tassi	some makefile work	blob \| commitdiff \| raw
2005-11-24	Stefano Zacchiroli	removed the need of REQUIRES in libraries Makefile...	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	added hmysql dependency	blob \| commitdiff \| raw \| diff to current
2005-05-03	Enrico Tassi	added new extractor based on MetadataDb.index_obj	blob \| commitdiff \| raw \| diff to current
2005-05-03	Enrico Tassi	added sqlStatements module (contains all CREATE 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-26	Stefano Zacchiroli	added test.opt target	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	new metadataTypes interface (with ownerize function)	blob \| commitdiff \| raw \| diff to current
2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	blob \| commitdiff \| raw \| diff to current
2004-10-20	Stefano Zacchiroli	snapshot, still work in progress	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.