]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/metadata
...
[helm.git] / helm / ocaml / metadata /
2005-09-02 Claudio Sacerdoti... Unused index (because of UNIQUE field count) dropped.
2005-09-01 Claudio Sacerdoti... New index refObj_occurrence on refObj. It is required...
2005-08-29 Claudio Sacerdoti... WARNING: this commit changes the DB representation...
2005-07-18 Claudio Sacerdoti... ANALYZE TABLE ==> OPTIMIZE TABLE
2005-07-11 Enrico Tassitentative hack for the incredible DB slowdown.
2005-07-05 Stefano Zacchiroliported to new getter interface
2005-06-24 Claudio Sacerdoti... New implementation of experimental_hint/auto (called...
2005-06-24 Claudio Sacerdoti... Bug fixed: select => select distinct (since the ors...
2005-06-23 Enrico TassiMuch simpler (and slightly more performant) implementat...
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa...
2005-06-16 Enrico Tassiadded utility to dump some tables of the db on mowgli
2005-05-23 Enrico Tassifixed clean that wasn't returning the right list of...
2005-05-17 Stefano Zacchirolicosmetic changes
2005-05-17 Stefano Zacchirolibugfix: avoid duplicate entries while indexing (changed...
2005-05-17 Stefano Zacchiroli- cathes more Mysql errors which could happen during...
2005-05-16 Enrico Tassifixed instance
2005-05-13 Stefano Zacchiroliadded support for hits table
2005-05-13 Stefano Zacchiroliadded list and fill actions
2005-05-13 Stefano Zacchirolisync script among databases
2005-05-13 Stefano Zacchirolisupport hits table
2005-05-13 Enrico Tassibetter table creator
2005-05-13 Stefano Zacchiroliadded "all" table meaning "act on all tables"
2005-05-13 Stefano Zacchirolifixed
2005-05-13 Enrico Tassifix bad space
2005-05-13 Enrico Tassinow the extractor manager renames the tables (old table...
2005-05-13 Enrico Tassisome more statements
2005-05-13 Enrico Tassiadded index on refRel and the rename table statements
2005-05-12 Stefano Zacchirolifixed Makefile
2005-05-12 Stefano Zacchirolihandling of variables with body
2005-05-10 Stefano Zacchirolimore detailed info about peon's problems
2005-05-05 Stefano Zacchiroli- added .cvsignore
2005-05-05 Andrea AspertiSome modifications due to instance.
2005-05-05 Stefano Zacchiroliadded .depend
2005-05-04 Enrico Tassiadded extractor_manager
2005-05-03 Enrico Tassiadded new extractor based on MetadataDb.index_obj
2005-05-03 Enrico Tassiadded DROP statements to sqlStatements
2005-05-03 Enrico Tassimore friendly sqlStatements api
2005-05-03 Enrico Tassiadded table_creator (comman line frontend to SqlStatements)
2005-05-03 Enrico Tassiadded sqlStatements module (contains all CREATE TABLE...
2005-05-03 Enrico Tassifix for instance
2005-05-02 Enrico Tassiremoved no_inconcl_aux, no_concl_hyp, no_hyp and added...
2005-04-29 Enrico Tassifixed a typo
2005-04-29 Enrico Tassiadded parser benchamrk
2005-04-29 Stefano Zacchiroliadded rating parameter to at_least (used by elim)
2005-04-28 Enrico Tassisingle INSERT on multiple tuples
2005-04-26 Stefano Zacchiroliclean also hypno_tbl
2005-04-26 Stefano Zacchiroliadded test.opt target
2005-04-26 Stefano Zacchiroli- ported to current metadata API
2005-04-22 Stefano Zacchiroliremoved debugging print
2005-04-22 Stefano Zacchiroliadded filtering criteria on differences between number...
2005-04-20 Stefano Zacchirolibugfixes:
2005-03-15 Stefano Zacchirolibugfix when user query contains metas: their context...
2005-02-10 Stefano Zacchiroliadded "unindex" to undo indexing of a single object
2005-02-08 Enrico Tassiat_least now supports the ownerized tables
2005-02-04 Stefano Zacchirolifix join on multiple tables
2005-02-04 Enrico Tassiadded library table and owner tables handling in the...
2005-02-04 Enrico Tassilocate now searched bot the standard library and the...
2005-02-04 Stefano Zacchiroli- clean no longer unregister URIs from the getter,...
2005-02-04 Stefano Zacchirolicosmetic changes
2005-02-03 Enrico TassiMetadataDb.clean doesn't need ~owner since table names...
2005-02-03 Enrico Tassiowners table not needed
2005-02-03 Enrico Tassiadded new ownerize function
2005-02-03 Enrico Tassinew metadataTypes interface (with ownerize function)
2005-02-01 Enrico TassiMetadataDB.clean now cleans the getter maps (calling...
2005-01-24 Stefano Zacchiroliuses CicPp.ppsort
2004-12-07 Andrea Aspertisymmetry of equality NOT used in auto
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-11-17 Matteo SelmiResolved problem occured when "=" in MainConclusion
2004-11-17 Matteo SelmiRemoved duplicated uri in sigmatch
2004-11-17 Matteo SelmiBug fix
2004-11-04 Andrea AspertiAdded a new boolean parameter "facts" (default=false...
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-10-27 Andrea AspertiBug fixing.
2004-10-25 Stefano Zacchirolibugfix in cmatch constants_no now consider also the...
2004-10-22 Stefano Zacchiroli- changed metadata type so that positions contains...
2004-10-21 Stefano Zacchiroli- split metadata type in metadata and constraints....
2004-10-20 Stefano Zacchirolisnapshot, still work in progress
2004-10-18 Stefano Zacchiroliimplemented here at_least constraints matching engine
2004-10-15 Stefano Zacchiroliadded helm-metadata module