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