]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_disambiguation /
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ tree | commitdiff
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both... tree | commitdiff
2006-01-31 Enrico Tassisome makefile work tree | commitdiff
2006-01-10 Claudio Sacerdoti... Warning Y fixed. tree | commitdiff
2006-01-09 Claudio Sacerdoti... Bug fixed in computation of the domain of records with... tree | commitdiff
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file. tree | commitdiff
2006-01-08 Claudio Sacerdoti... .cvsignore files removed (the svn:property property... tree | commitdiff
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml. tree | commitdiff
2005-12-09 Claudio Sacerdoti... 1. useless code (undebrujin) removed from disambiguate.ml tree | commitdiff
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion... tree | commitdiff
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations... tree | commitdiff
2005-11-28 Claudio Sacerdoti... 1. Bug fixed: compilation of "let corec" to a simple... tree | commitdiff
2005-11-27 Stefano Zacchiroliremoved deadcode / fixed typos (thanks to ocaml 3.09) tree | commitdiff
2005-11-26 Claudio Sacerdoti... Experimental localization of errors during refinement... tree | commitdiff
2005-11-25 Stefano Zacchirolibugfix: removed unneeded No_choices exception tree | commitdiff
2005-11-25 Stefano Zacchirolichanged META dependency tree | commitdiff
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries. tree | commitdiff
2005-11-24 Stefano Zacchirolisplit non-logic level of whelp away from metadataQuery... tree | commitdiff
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile... tree | commitdiff
2005-11-22 Claudio Sacerdoti... Less verbose error messages. tree | commitdiff
2005-11-19 Claudio Sacerdoti... "let rec f = ... in f l" used to be compiled incorrectly tree | commitdiff
2005-11-19 Claudio Sacerdoti... Less verbose error messages (= substitution applied... tree | commitdiff
2005-11-19 Claudio Sacerdoti... Wrong reported error message fixed. tree | commitdiff
2005-11-19 Claudio Sacerdoti... More information is now printed when reporting errors. tree | commitdiff
2005-11-19 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They... tree | commitdiff
2005-11-08 Claudio Sacerdoti... Debugging code removed. 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... Duplicated exception definition removed (used to give... tree | commitdiff
2005-10-25 Enrico Tassimoved the expansion of implicits inside the refiner... tree | commitdiff
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now... tree | commitdiff
2005-10-05 Stefano Zacchirolis/commands_of_domain_and_codomain_items_list/aliases_of... tree | commitdiff
2005-10-05 Stefano Zacchirolirebuilt tree | commitdiff
2005-09-29 Claudio Sacerdoti... Further speed-up in the disambiguation algorithm. tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Enrico Tassiadded universes 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-21 Claudio Sacerdoti... This commit removes the slowest identity function ever... tree | commitdiff
2005-09-21 Stefano Zacchiroliported to the new parser interface (Ulexing.lexbuf... tree | commitdiff
2005-09-21 Claudio Sacerdoti... 1. profiling code added tree | commitdiff
2005-09-19 Claudio Sacerdoti... This commit (partially) removes a big source of ineffic... tree | commitdiff
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /... tree | commitdiff
2005-09-14 Stefano Zacchiroliadded hyperlinks on case pattern heads and outtype tree | commitdiff
2005-09-13 Stefano Zacchiroliadded "commands_of_environment" tree | commitdiff
2005-09-13 Stefano Zacchiroliregenerated tree | commitdiff
2005-09-13 Stefano Zacchirolimoved dummy_floc from Disambiguate to DisambiguateTypes... tree | commitdiff
2005-09-12 Stefano Zacchirolicic_textual_parser2 -> cic_disambiguation tree | commitdiff
2005-09-12 Stefano Zacchiroliremoved debugging print tree | commitdiff
2005-09-12 Stefano Zacchiroliadded support for multi-aliases in disambiguation envir... tree | commitdiff
2005-09-08 Stefano Zacchiroliimplemented lazy disambiguation of tactics arguments... tree | commitdiff
2005-08-30 Claudio Sacerdoti... A parser for aliases implemented (required by the Whelp). tree | commitdiff
2005-07-26 Claudio Sacerdoti... **** Experimental: **** tree | commitdiff
2005-07-20 Claudio Sacerdoti... Pretty printing of the disambiguation environment no... tree | commitdiff
2005-07-18 Stefano Zacchiroli- removed old parser tree | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck! tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the left parameters of a record or inductive... tree | commitdiff
2005-07-08 Enrico Tassiadded Variant theorem flavour tree | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip... tree | commitdiff
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first" tree | commitdiff
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac] tree | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... tree | commitdiff
2005-07-05 Claudio Sacerdoti... Debugging back to false tree | commitdiff
2005-07-05 Claudio Sacerdoti... Bug fixed: the outtype of a match when omitted was... tree | commitdiff
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin tree | commitdiff
2005-07-04 Claudio Sacerdoti... "include" command implemented. tree | commitdiff
2005-07-01 Enrico Tassion is now a keyword (needed in let rec) tree | commitdiff
2005-07-01 Claudio Sacerdoti... TacticAst2Box no longer used. tree | commitdiff
2005-07-01 Claudio Sacerdoti... Syntax of patterns changed again to make it non-ambiguous: tree | commitdiff
2005-06-30 Claudio Sacerdoti... The pattern of a fold cannot have the "wanted" part... tree | commitdiff
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed. tree | commitdiff
2005-06-30 Ferruccio Guidilapply and fwd improved tree | commitdiff
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function tree | commitdiff
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns: tree | commitdiff
2005-06-28 Enrico Tassiadded Drop tree | commitdiff
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated... tree | commitdiff
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. tree | commitdiff
2005-06-27 Enrico Tassisupport for _ in binders, and a more coplex pattern... tree | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to... tree | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita. tree | commitdiff
2005-06-27 Enrico Tassifixed LApply pretty printing tree | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply tree | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... tree | commitdiff
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an... tree | commitdiff
2005-06-23 Claudio Sacerdoti... 1 .Tactic generalize ported to patterns and activated... tree | commitdiff
2005-06-17 Enrico Tassiconcrete syntax for goal patterns tree | commitdiff
2005-06-17 Claudio Sacerdoti... more strings to UriManager.uri tree | commitdiff
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa... tree | commitdiff
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the... tree | commitdiff
2005-06-15 Claudio Sacerdoti... Bug fixed: parsing errors were ignored by matitac since... tree | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd tree | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: tree | commitdiff
2005-06-14 Claudio Sacerdoti... * no more %% comments tree | commitdiff
2005-06-14 Claudio Sacerdoti... parentheses allowed inside comments tree | commitdiff
2005-06-14 Claudio Sacerdoti... test_lexer and test_parser compiled by default tree | commitdiff
2005-06-14 Enrico Tassiremoved ocaml-pxp tree | commitdiff
2005-06-10 Enrico Tassiadded records tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.