]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added coercions to Prod
[helm.git] / helm / ocaml /
2005-10-17 Enrico Tassiadded coercions to Prod tree | commitdiff
2005-10-17 Alberto Griggioadded some comments; general code cleanup tree | commitdiff
2005-10-12 Alberto Griggiofixed a couple of bugs that broke tests... tree | commitdiff
2005-10-11 Alberto Griggiofixed bugs in Indexing.find_matches and Saturation... tree | commitdiff
2005-10-11 Stefano Zacchiroliadded goals_of_proof tree | commitdiff
2005-10-11 Stefano Zacchiroliadded list_concat tree | commitdiff
2005-10-10 Stefano Zacchiroliadded level2 <-> level3 transformations tree | commitdiff
2005-10-10 Alberto Griggiofixed a bug (status not reset properly between calls... tree | commitdiff
2005-10-10 Stefano Zacchiroli- added stack frame tagging tree | commitdiff
2005-10-09 Claudio Sacerdoti... More informative exceptions raised. tree | commitdiff
2005-10-06 Stefano Zacchirolichanged functor interface, now based on proofs instead... tree | commitdiff
2005-10-06 Stefano Zacchiroliignore usual *tex crap tree | commitdiff
2005-10-06 Stefano Zacchiroliadded Makefile tree | commitdiff
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1 tree | commitdiff
2005-10-06 Stefano Zacchiroli- better naming tree | commitdiff
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation tree | commitdiff
2005-10-06 Stefano Zacchiroliin the end: ... proper handling of multiple bindings... tree | commitdiff
2005-10-06 Stefano Zacchirolibugfix: multiple bindings of the same key work again tree | commitdiff
2005-10-05 Stefano Zacchirolis/commands_of_domain_and_codomain_items_list/aliases_of... tree | commitdiff
2005-10-05 Stefano Zacchiroliadded metadata "commands" tree | commitdiff
2005-10-05 Stefano Zacchiroliuncommented find_cic_appl_pattern_uris tree | commitdiff
2005-10-05 Stefano Zacchiroliadded find tree | commitdiff
2005-10-05 Stefano Zacchirolirebuilt tree | commitdiff
2005-10-05 Stefano Zacchiroliadded hmysql dependency tree | commitdiff
2005-10-05 Stefano Zacchiroli- "load_from" no longer clears the previous registry... tree | commitdiff
2005-10-05 Stefano Zacchirolirebut tree | commitdiff
2005-10-05 Stefano Zacchiroliadded hmysql tree | commitdiff
2005-10-05 Stefano Zacchirolimoved hmysql to a separate module tree | commitdiff
2005-10-05 Enrico Tassiaded hmysql/ tree | commitdiff
2005-10-04 Stefano Zacchiroliadded filter_map tree | commitdiff
2005-10-03 Luca Padovaniincomplete snapshot .... tree | commitdiff
2005-10-03 Stefano Zacchirolirestated ... tree | commitdiff
2005-10-03 Enrico Tassithe filled object is inserted in the env after a succes... tree | commitdiff
2005-10-03 Enrico Tassifixed clean_and_fill that now fills the object (used... tree | commitdiff
2005-10-03 Enrico Tassimoved to fast implementation and fixed a bug in the... tree | commitdiff
2005-10-02 Luca Padovani* well-formedness constraints tree | commitdiff
2005-10-02 Luca Padovani* added well-formedness rules for level 2 patterns tree | commitdiff
2005-10-01 Luca Padovani* added pattern matching of level 2 terms tree | commitdiff
2005-09-30 Stefano Zacchiroli- fixed some metasenv issues tree | commitdiff
2005-09-30 Stefano Zacchirolifixed some (more) typos tree | commitdiff
2005-09-30 Stefano Zacchirolifixed some typos tree | commitdiff
2005-09-30 Stefano Zacchirolicontinuationals semantics: first draft tree | commitdiff
2005-09-29 Luca Padovani* required for the blob icon tree | commitdiff
2005-09-29 Luca Padovani* added concrete syntax for level 2 tree | commitdiff
2005-09-29 Alberto Griggionon-default equalities in equations_for_goal tree | commitdiff
2005-09-29 Alberto Griggioupgraded code to work with non-default equalities tree | commitdiff
2005-09-29 Luca Padovani* snapshot tree | commitdiff
2005-09-29 Claudio Sacerdoti... Further speed-up in the disambiguation algorithm. tree | commitdiff
2005-09-29 Luca Padovani* required for texing it tree | commitdiff
2005-09-29 Luca Padovani+ well-formedness of level 1 patterns tree | commitdiff
2005-09-28 Luca Padovani* first version of the specification tree | commitdiff
2005-09-28 Stefano Zacchirolibetter precedence handling, should remove useless parens tree | commitdiff
2005-09-27 Stefano Zacchirolichanged precedence/associativeness handling: relative... tree | commitdiff
2005-09-27 Stefano Zacchiroliadded/exported pp_pos & pp_attribute tree | commitdiff
2005-09-27 Stefano Zacchiroliremoved .annot files (files containing type annotations... tree | commitdiff
2005-09-27 Stefano Zacchirolimore fine grained debug printing tree | commitdiff
2005-09-27 Stefano Zacchirolichanged type of ids_to_uris table to (Cic.id, UriManage... tree | commitdiff
2005-09-27 Stefano ZacchiroliBetter handling of idref propagation, no more Href... tree | commitdiff
2005-09-27 Stefano Zacchiroliadded list_uniq tree | commitdiff
2005-09-26 Stefano Zacchirolifixed typo tree | commitdiff
2005-09-26 Stefano Zacchirolistrip heading '\' on Mo s tree | commitdiff
2005-09-26 Stefano Zacchiroliremoved some dead code tree | commitdiff
2005-09-26 Stefano Zacchiroliadded override for \circ (notation for function composi... tree | commitdiff
2005-09-26 Claudio Sacerdoti... Unification enhanchement: tree | commitdiff
2005-09-26 Claudio Sacerdoti... Inclusion path fixed. tree | commitdiff
2005-09-26 Alberto Griggionew paramodulation tree | commitdiff
2005-09-26 Alberto Griggio*** empty log message *** tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Alberto Griggioadded apply_tac_verbose_with_subst, returning a Cic... tree | commitdiff
2005-09-26 Andrea AspertiSmall bug due to case unsensitiveness in the check... tree | commitdiff
2005-09-26 Stefano Zacchirolibugfix: reash uris embedded in cic appl patterns tree | commitdiff
2005-09-26 Stefano Zacchiroliadded magic numbers tree | commitdiff
2005-09-26 Stefano Zacchiroliset extlib findlib dependencies tree | commitdiff
2005-09-26 Stefano Zacchiroliimplemented the first bunch of useful functions 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... More profiling code. tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Claudio Sacerdoti... ... 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-23 Claudio Sacerdoti... Profiling code removed. tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid generating useless parens in mathml contextes... tree | commitdiff
2005-09-23 Stefano Zacchiroliremoved a line of dead code tree | commitdiff
2005-09-23 Claudio Sacerdoti... Dead code removed again!!! tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid pattern matching on attributed terms since this... tree | commitdiff
2005-09-23 Enrico Tassiadded universes list handling tree | commitdiff
2005-09-23 Enrico Tassiadded universes tree | commitdiff
2005-09-23 Enrico Tassiadded parsing of Type:N tree | commitdiff
2005-09-23 Enrico Tassia wrong exception was raised tree | commitdiff
2005-09-23 Enrico Tassiadded support for universes uri ".univ" tree | commitdiff
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... tree | commitdiff
2005-09-23 Claudio Sacerdoti... Environment replaced by lists of domain and codomain... tree | commitdiff
2005-09-22 Claudio Sacerdoti... * Added divides and ndivides tree | commitdiff
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable... tree | commitdiff
2005-09-22 Claudio Sacerdoti... Dead code removed tree | commitdiff
2005-09-21 Claudio Sacerdoti... More profiling code. tree | commitdiff
2005-09-21 Claudio Sacerdoti... This commit removes the slowest identity function ever... tree | commitdiff
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... tree | commitdiff
2005-09-21 Stefano Zacchiroliported to the new parser interface (Ulexing.lexbuf... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.