]> 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 debug prerr_endline
[helm.git] / helm / ocaml /
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
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-03 Stefano Zacchiroliremoved spurious load of a local gTopLevel.conf.xml tree | commitdiff
2005-02-02 Stefano Zacchiroli- implemented inductive type rendering tree | commitdiff
2005-02-02 Stefano Zacchiroliadded inductive_name field to inductive definitions... tree | commitdiff
2005-02-01 Stefano Zacchiroliremoved useless parameter uri from mml_of_cic_object tree | commitdiff
2005-02-01 Stefano Zacchiroliadded mathml_ns tree | commitdiff
2005-02-01 Stefano Zacchirolienriched error message tree | commitdiff
2005-02-01 Stefano Zacchiroliadded strip_xpointer: remove trailing #xpointer from... tree | commitdiff
2005-02-01 Enrico Tassireverder change. no more owner passed to the locate. tree | commitdiff
2005-02-01 Enrico Tassiadded owner support to the disambiguator (now locate... tree | commitdiff
2005-02-01 Enrico Tassiadded `Coer print_kind tree | commitdiff
2005-02-01 Enrico TassiAdded Coer/Coercions print_kind tree | commitdiff
2005-02-01 Enrico TassiMetadataDB.clean now cleans the getter maps (calling... tree | commitdiff
2005-02-01 Enrico Tassifix in the coercions list generation and aded a functio... tree | commitdiff
2005-02-01 Enrico Tassiadded the unregister method to the help page tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.