| Age | Commit message (Expand) | Author |
|---|
| 2008-04-28 | menage dans funind + deplaceemnt de recdef dans funind | jforest |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-12 | Adding 'at' to rewrite, as it is already implemented in setoid_rewrite. | msozeau |
| 2008-03-28 | - Second pass on implementation of let pattern. Parse "let ' par [as x]? | msozeau |
| 2008-03-08 | correction d'un bug d'efficacite dans Function (+ ajout de eauto_with_bases) | jforest |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-11-26 | minor bug correction in Function | jforest |
| 2007-11-13 | Correcting a segfault on amd64 arch with native compiler of ocaml 3.10 | jforest |
| 2007-11-08 | Prise en compte des notations "alias" dans la globalisation des coercions. | herbelin |
| 2007-09-06 | errors in recdef.ml4: | bertot |
| 2007-09-06 | this should fix a problem described in a message by Dufourd on July 30th, 2007 | bertot |
| 2007-08-31 | fin de la correction de Function | jforest |
| 2007-08-31 | correction bug d'efficacite dans Function | jforest |
| 2007-07-13 | removing a warning at compilation time | jforest |
| 2007-07-06 | minor bug correction (continuing r 9943) | jforest |
| 2007-07-05 | Minor bug correction in Function. Non terminating Function e.g. | jforest |
| 2007-05-22 | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin |
| 2007-05-20 | - Propagation des evars non résolues vers les with_bindings; permet par exemple | herbelin |
| 2007-05-17 | correction de bug dans Function et augmentation de la classe des fonctions su... | jforest |
| 2007-04-28 | Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in. | herbelin |
| 2007-04-05 | Mise en place d'une nouvelle strategie plus efficace pour les preuves de Func... | jforest |
| 2007-03-11 | correction du bug 1432 | jforest |
| 2007-01-26 | Contounement d'un probleme avec la VM dans Function | jforest |
| 2006-10-28 | Extension du polymorphisme de sorte au cas des définitions dans Type. | herbelin |
| 2006-09-19 | Gestion des arguments implicites dans les Functions bien fondees | jforest |
| 2006-09-18 | correction of bug #1220 | jforest |
| 2006-09-16 | Message modification in Function | jforest |
| 2006-09-15 | Minor bug correction in well-founded Function. | jforest |
| 2006-08-25 | two minor bug corrections in General Recursive Functions | jforest |
| 2006-08-16 | + timide essai pour le traitement des as dans les patterns lors de la generat... | jforest |
| 2006-08-11 | Bug corrections in Function. | jforest |
| 2006-08-08 | In the old version, recursive functions cannot be declared inside a section | bertot |
| 2006-05-26 | removing a warning | jforest |
| 2006-05-23 | Error during last commit (coq didn't compile) | jforest |
| 2006-05-23 | cleanning code | jforest |
| 2006-05-22 | Correcting a bug in identifiers manipulation | jforest |
| 2006-05-09 | Correcting an old bug during generation of generale recursive functions. | jforest |
| 2006-05-07 | + correcting a bug in general recursive function (match e with _ => match f e... | jforest |
| 2006-05-03 | Fixing two minor bugs in recdef and graph of function generation. | jforest |
| 2006-05-03 | Cleanning and factorizing code in funind. Spliting new_arg_principles into to... | jforest |
| 2006-04-28 | If function creates proof obligation, there are now printed once. | courtieu |
| 2006-04-10 | + Changing a little functional schemes types | jforest |
| 2006-03-22 | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | msozeau |
| 2006-03-14 | + Debugging and cleaning functional principle generation tactic | jforest |
| 2006-03-12 | -Debugging multiple induction, a bug appeared when having function | courtieu |
| 2006-02-22 | Julien: | bertot |
| 2006-02-17 | bug correction | bertot |
| 2006-02-17 | Julien: | bertot |
| 2006-02-09 | securing intros (we now use h_intro) | bertot |
