]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removed!
[helm.git] / helm / ocaml /
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) tree | commitdiff
2005-05-06 Enrico Tassifactorization of rewrite. tree | commitdiff
2005-05-05 Stefano Zacchiroli- ported to new CicParser interface which requires... tree | commitdiff
2005-05-05 Stefano Zacchiroliadded "tags" target to generate vim tags with otags tree | commitdiff
2005-05-05 Stefano Zacchiroliadded test and test.opt targets tree | commitdiff
2005-05-05 Stefano Zacchiroli- implemented CicPushParser which parser CIC objects... 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 Tassiadded instance tree | commitdiff
2005-05-03 Enrico Tassifix for instance tree | commitdiff
2005-05-03 Andrea AspertiFirst version of instance. tree | commitdiff
2005-05-02 Enrico Tassiattached auto tree | commitdiff
2005-05-02 Enrico Tassiadded ast for Match tree | commitdiff
2005-05-02 Enrico Tassiremoved no_inconcl_aux, no_concl_hyp, no_hyp and added... tree | commitdiff
2005-04-29 Enrico Tassiadded more assertions on universes when loaded from... tree | commitdiff
2005-04-29 Enrico Tassiadded the orrible hack to the parser that is needed... tree | commitdiff
2005-04-29 Enrico Tassimain constants set is closed with constants types tree | commitdiff
2005-04-29 Enrico TassiUniverseInconsistency is now wrapper by CicRefine.type_... tree | commitdiff
2005-04-29 Enrico Tassiadded orrible hack to make the current uri visible... tree | commitdiff
2005-04-29 Enrico Tassicatched UniverseInconsistency tree | commitdiff
2005-04-29 Enrico Tassiadded parsing time benchmark tree | commitdiff
2005-04-29 Enrico Tassifixed a typo tree | commitdiff
2005-04-29 Enrico Tassiadded parser benchamrk tree | commitdiff
2005-04-29 Stefano Zacchirolifix (ask Enrico :-) tree | commitdiff
2005-04-29 Stefano Zacchiroliuses CicUniv new assertions tree | commitdiff
2005-04-29 Stefano Zacchiroliadded assertions about graph in the environment having... tree | commitdiff
2005-04-29 Stefano Zacchiroliadded rating parameter to at_least (used by elim) tree | commitdiff
2005-04-28 Enrico Tassimoved "hint" from Command to Macro tree | commitdiff
2005-04-28 Enrico Tassideactivated coercions tree | commitdiff
2005-04-28 Enrico Tassisingle INSERT on multiple tuples tree | commitdiff
2005-04-28 Enrico Tassiadded hbugs and mathql tree | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico tree | commitdiff
2005-04-27 Stefano Zacchirolimake also in utilities on whatever target tree | commitdiff
2005-04-27 Stefano Zacchirolicvsignore tree | commitdiff
2005-04-27 Stefano Zacchiroliremoved ancient cic_textual_parser (last live version... tree | commitdiff
2005-04-27 Stefano Zacchiroliadded re-hash-consing of URIs embedded in universes tree | commitdiff
2005-04-27 Stefano Zacchiroligetter with in memory tree of URIs 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-23 Stefano Zacchiroliadded licence header tree | commitdiff
2005-04-23 Stefano Zacchiroliadded license statement tree | commitdiff
2005-04-23 Stefano Zacchiroliadded license header tree | commitdiff
2005-04-22 Stefano Zacchirolimade context and metasenv parameters of trivial disambi... tree | commitdiff
2005-04-22 Stefano Zacchiroliadded Trivial module with a disambiguate_term implement... tree | commitdiff
2005-04-22 Stefano Zacchiroliremoved debugging print tree | commitdiff
2005-04-22 Stefano Zacchiroliuses new at_least with criteria on constants number... tree | commitdiff
2005-04-22 Stefano Zacchiroliadded filtering criteria on differences between number... tree | commitdiff
2005-04-21 Stefano Zacchirolisplit precedence level of binders: \lambda has higher... tree | commitdiff
2005-04-21 Stefano Zacchiroliremoved ancient indirections for gTopLevel tree | commitdiff
2005-04-21 Stefano Zacchirolino longer build neither mathql nor hbugs per default tree | commitdiff
2005-04-21 Stefano Zacchirolibumped copyright years tree | commitdiff
2005-04-21 Stefano Zacchiroliutilities for creating environment dumps tree | commitdiff
2005-04-21 Stefano Zacchiroli(hopefully) final decision on precedence levels: tree | commitdiff
2005-04-20 Stefano Zacchirolibugfixes: tree | commitdiff
2005-04-20 Stefano Zacchirolichanged binding strength of some parsing entries: tree | commitdiff
2005-03-22 Claudio Sacerdoti... Bug fixed in assumption_tac: a missing (lift n) when... tree | commitdiff
2005-03-15 Stefano Zacchiroli- handle metavariables: if at least one of them is... tree | commitdiff
2005-03-15 Stefano Zacchirolibugfix when user query contains metas: their context... tree | commitdiff
2005-03-11 Stefano ZacchiroliBugfix in restore_from_channel, before this fix hashtab... tree | commitdiff
2005-03-09 Stefano Zacchiroliadded support for open terms in check tree | commitdiff
2005-02-14 Enrico TassiAdded heuristic in the Appl case, we beta-expand only... tree | commitdiff
2005-02-14 Enrico TassiFixed remove operation and get_obj (that now correctly... tree | commitdiff
2005-02-10 Stefano Zacchiroliadapted to optional comment lexer interface tree | commitdiff
2005-02-10 Stefano Zacchirolirenaming "remove_term" -> "remove_obj" tree | commitdiff
2005-02-10 Stefano Zacchiroli- fix in intro parsing tree | commitdiff
2005-02-10 Stefano Zacchirolifactorized tacticals separator and terminator tree | commitdiff
2005-02-10 Stefano Zacchiroliadded "unindex" to undo indexing of a single object tree | commitdiff
2005-02-08 Stefano Zacchiroliadded a missing unchecked_to_frozen (fixes a Not_found... tree | commitdiff
2005-02-08 Enrico Tassiat_least now supports the ownerized tables tree | commitdiff
2005-02-08 Stefano Zacchiroliadded boxml namespace tree | commitdiff
2005-02-04 Stefano Zacchirolifix join on multiple tables tree | commitdiff
2005-02-04 Enrico Tassifixed Gzip bug in Xml.pp tree | commitdiff
2005-02-04 Enrico Tassiadded library table and owner tables handling in the... tree | commitdiff
2005-02-04 Stefano Zacchirolibugfix: handling of local resources (not to be cached... tree | commitdiff
2005-02-04 Stefano Zacchirolichanged local_url so that it returns the local part... tree | commitdiff
2005-02-04 Stefano Zacchiroli- removed special handling of universes (no longer... tree | commitdiff
2005-02-04 Stefano Zacchiroliadded gzip support to Xml tree | commitdiff
2005-02-04 Enrico Tassilocate now searched bot the standard library and the... tree | commitdiff
2005-02-04 Stefano Zacchirolireturn also .types uri in getalluris/ tree | commitdiff
2005-02-04 Stefano Zacchiroliparameterized lexer so that comment tokens could be... tree | commitdiff
2005-02-04 Stefano Zacchiroliremoved dep on mathql tree | commitdiff
2005-02-04 Stefano Zacchirolirebuilt tree | commitdiff
2005-02-04 Stefano Zacchiroli- removed dependency on mathql tree | commitdiff
2005-02-04 Stefano Zacchiroli- added init method tree | commitdiff
2005-02-04 Stefano Zacchirolirebuild tree | commitdiff
2005-02-04 Stefano Zacchiroli- simplified environment handling: tree | commitdiff
2005-02-04 Stefano Zacchirolilocal_url predicate (recognize file:// urls) tree | commitdiff
2005-02-04 Stefano Zacchirolido not cache local resources (i.e. file:// urls) tree | commitdiff
2005-02-04 Stefano Zacchirolicreate path towards dbm file tree | commitdiff
2005-02-04 Stefano Zacchiroliremoved ancient mathql deps 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
next
Unnamed repository; edit this file 'description' to name the repository.