]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Extended bibliography.
[helm.git] / helm / ocaml /
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. tree | commitdiff
2005-11-08 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Refinement of a Cast was bugged. tree | commitdiff
2005-11-07 Claudio Sacerdoti... AssertFailure from the type-checker now becomes an... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can now be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Avoid generation of let x = let rec x = ... in x in... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-07 Claudio Sacerdoti... Duplicated exception definition removed (used to give... tree | commitdiff
2005-11-04 Enrico Tassirefined outtype used to be discharged tree | commitdiff
2005-11-04 Enrico Tassiadded calbback to make the profiler silent tree | commitdiff
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros tree | commitdiff
2005-11-04 Stefano Zacchiroliexported is_blank tree | commitdiff
2005-11-04 Stefano Zacchiroliadded ligatures expansion support functions tree | commitdiff
2005-11-04 Stefano Zacchirolibetter distinction of (* *) and (** *) comments tree | commitdiff
2005-11-04 Stefano Zacchiroliremoved no longer needed dependency on pxp tree | commitdiff
2005-11-04 Stefano Zacchiroliadded tilde_expansion of directory settings tree | commitdiff
2005-11-04 Stefano Zacchiroliadded char functions: tree | commitdiff
2005-11-04 Stefano Zacchirolichanged stack entry representation tree | commitdiff
2005-11-03 Stefano ZacchiroliBug fix: index.theory dereferentiation works also for... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Semantic change: I always consider a type with no const... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Semantic change: elimination of a term whose type is... tree | commitdiff
2005-11-03 Enrico Tassiadded documentation on allowed eliminations tree | commitdiff
2005-11-03 Claudio Sacerdoti... 1. a simplified version of check_allowed_sort_eliminati... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Major code semplification in check_allowed_sort_elimina... tree | commitdiff
2005-10-27 Claudio Sacerdoti... 1. Parameter enable (default true) added to HExtlib... tree | commitdiff
2005-10-27 Claudio Sacerdoti... ... tree | commitdiff
2005-10-27 Stefano Zacchirolityping errors tree | commitdiff
2005-10-26 Stefano Zacchiroliadded constraing on non-empty context for tactic applic... tree | commitdiff
2005-10-26 Stefano Zacchiroliimproved Makefile tree | commitdiff
2005-10-26 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2005-10-25 Claudio Sacerdoti... Semantic change: applying a tactic to the empty goal... tree | commitdiff
2005-10-25 Claudio Sacerdoti... Syntax change: tree | commitdiff
2005-10-25 Enrico Tassimoved the expansion of implicits inside the refiner... tree | commitdiff
2005-10-25 Enrico Tassifixed lapply on new tinycals semantic tree | commitdiff
2005-10-25 Stefano Zacchirolifixed some type error tree | commitdiff
2005-10-25 Andrea Aspertiexperimental version tree | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals tree | commitdiff
2005-10-25 Stefano Zacchiroliadded iter_option tree | commitdiff
2005-10-25 Stefano Zacchiroli"better" (????) identification of assertion failures tree | commitdiff
2005-10-25 Claudio Sacerdoti... Debugging code turned off. tree | commitdiff
2005-10-25 Claudio Sacerdoti... * More profiling code tree | commitdiff
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now... tree | commitdiff
2005-10-25 Claudio Sacerdoti... ... tree | commitdiff
2005-10-25 Andrea Aspertireadme file tree | commitdiff
2005-10-25 Claudio Sacerdoti... ~subst fixed everywhere in the type-checker: tree | commitdiff
2005-10-25 Claudio Sacerdoti... Bug fixed: the current substitution and metasenv were... tree | commitdiff
2005-10-24 Stefano Zacchirolinew semantics, should be the basis for the (re-)impleme... tree | commitdiff
2005-10-19 Andrea AspertiCorrected a mistake in power_upto, and decreased the... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.