]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
changed logo: whelp!
[helm.git] / helm / ocaml /
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
2005-02-01 Enrico Tassiremoved debug print tree | commitdiff
2005-02-01 Enrico Tassicosmetic fix to pp_location tree | commitdiff
2005-01-31 Enrico Tassiadded delift tree | commitdiff
2005-01-31 Enrico Tassiadded basedir and improved let{rec} syntax tree | commitdiff
2005-01-31 Enrico Tassibetter debug prints tree | commitdiff
2005-01-31 Enrico Tassiadded Basedir Ast tree | commitdiff
2005-01-31 Enrico TassiAdded outtype inference to MutCase tree | commitdiff
2005-01-31 Enrico TassiFixed bug in delift. The recursive call in the Meta... tree | commitdiff
2005-01-25 Enrico Tassi- removed applyStylesheets tree | commitdiff
2005-01-25 Enrico Tassiadded list_obj and list_uri tree | commitdiff
2005-01-24 Stefano Zacchiroliuses CicPp.ppsort tree | commitdiff
2005-01-24 Stefano Zacchiroli- removed ancient debugging prints tree | commitdiff
2005-01-24 Stefano Zacchiroli- renamed Term_not_found exception (useless) with Objec... tree | commitdiff
2005-01-24 Stefano Zacchiroli- added handling of exceptions embedded in xml document... tree | commitdiff
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the... tree | commitdiff
2005-01-21 Stefano Zacchiroliuniformed prototype of mml_of_cic_{object,sequent} tree | commitdiff
2005-01-21 Stefano Zacchirolisyntax changes: "." at the end of the phrase instead... tree | commitdiff
2005-01-21 Stefano Zacchiroliattributes support tree | commitdiff
2005-01-21 Stefano Zacchiroli- attributes support tree | commitdiff
2005-01-21 Stefano Zacchiroliattributes support (not yet in the pretty printer) tree | commitdiff
2005-01-21 Stefano Zacchiroli- attributes support tree | commitdiff
2005-01-21 Stefano Zacchiroliattributes support tree | commitdiff
2005-01-21 Stefano Zacchiroliadded attributes support tree | commitdiff
2005-01-21 Stefano Zacchiroli- added string_of_sort tree | commitdiff
2005-01-21 Stefano Zacchiroli- added attributes support tree | commitdiff
2005-01-21 Stefano Zacchiroliadded attributes tree | commitdiff
2005-01-21 Stefano Zacchiroliadded attribute support (not yet in the parser) tree | commitdiff
2005-01-20 Stefano Zacchiroli- added rendering of constants/variable with/without... tree | commitdiff
2005-01-20 Stefano Zacchirolirendering fixes: tree | commitdiff
2005-01-20 Stefano Zacchiroli- helmns -> helm_ns tree | commitdiff
2005-01-20 Stefano Zacchiroliadded cast rendering (used in check window by gTopLevel... tree | commitdiff
2005-01-20 Stefano Zacchiroliadded URI concrete syntax tree | commitdiff
2005-01-20 Stefano Zacchiroliadded cmdline alias "command" for "tactica" tree | commitdiff
2005-01-19 Enrico Tassicoercion application tree | commitdiff
2005-01-19 Enrico Tassifix coercGraph.mli tree | commitdiff
2005-01-19 Enrico Tassifixed #xpointer handling in uri_of_string. new examples : tree | commitdiff
2005-01-19 Enrico TassiAdded coercion handling module tree | commitdiff
2005-01-18 Stefano Zacchirolilicense template tree | commitdiff
2005-01-18 Stefano Zacchiroliread uri from cmdline tree | commitdiff
2005-01-18 Stefano Zacchiroliadded pp_location (pretty printer of ast location) tree | commitdiff
2005-01-18 Stefano Zacchiroliadded script support tree | commitdiff
2005-01-18 Stefano Zacchiroliadded latex style comment, with start token "%%" tree | commitdiff
2005-01-18 Stefano Zacchiroliremoved spurious debugging prints tree | commitdiff
2005-01-18 Enrico Tassifixed comments tree | commitdiff
2005-01-17 Stefano Zacchiroli- added helm_ns and xhtml_ns (XHTML and HELM namespace... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.