aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2006-10-30dependencesbarras
2006-10-29Suite commit polymorphismeherbelin
2006-10-28Extension du polymorphisme de sorte au cas des définitions dans Type.herbelin
2006-10-26Experimental merging of two functional graphs.courtieu
2006-10-25conflit de nom (Field_theory) modulo la cassebarras
2006-09-26petits pbs de dependancesbarras
2006-09-26Compilation newringnotin
2006-09-26mise a jour du nouveau ring et ajout du nouveau field, avant renommagesbarras
2006-09-20Declarative Proof Language: main commitcorbinea
2006-09-19added congruence improvementcorbinea
2006-09-15Report de l'heuristique d'unification premier ordre flexible/rigideherbelin
2006-08-22+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and nojforest
2006-07-22- Ajout d'un cast vm dans la syntaxe : x <: t bgregoir
2006-07-04functional inversion now takes a quatified hypothesis as first argumentjforest
2006-06-23Fix wrong order of existentials in eterm.msozeau
2006-06-08MAJ Makefile dependherbelin
2006-05-18Dépendances pour List.vnotin
2006-05-03Fixing two minor bugs in recdef and graph of function generation. jforest
2006-05-03Cleanning and factorizing code in funind. Spliting new_arg_principles into to...jforest
2006-04-27MAJherbelin
2006-03-22Made pretyping a functor over a coercion implementation. Pretyping.Default us...msozeau
2006-03-22- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage deherbelin
2006-03-15Ajout de theories/FSets contenant la partie "light" de FSets et FMap:letouzey
2006-03-08 r8623@thot: notin | 2006-03-08 12:40:57 +0100notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2006-03-05majcoq
2006-03-02majcoq
2006-02-27majcoq
2006-02-27dp: sortie Whyfilliatr
2006-02-22majcoq
2006-02-21majcoq
2006-02-20majcoq
2006-02-17majcoq
2006-02-09majcoq
2006-02-08majcoq
2006-02-08Julien:bertot
2006-02-07majcoq
2006-02-04majcoq
2006-02-03majcoq
2006-02-01majcoq
2006-02-01New version of functional induction / inversion. By Julien Forest,coq
2006-01-31majcoq
2006-01-30majcoq
2006-01-28majcoq
2006-01-24majcoq
2006-01-21majcoq
2006-01-16majcoq
2006-01-16dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmoletouzey
2006-01-12majcoq
2006-01-11majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 16:37:38 +0000