index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend
Commit message (
Expand
)
Author
Age
*
finalized suffices
corbinea
2007-01-29
*
changes in declarative language : by term using tactic
corbinea
2007-01-22
*
Merge from Lionel Elie Mamane's private branch:
lmamane
2007-01-10
*
Changement dans le kernel :
bgregoir
2006-12-11
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9423 85f007b7-540e-04...
filliatr
2006-12-09
*
MAJ
herbelin
2006-12-03
*
dependences
barras
2006-10-30
*
Suite commit polymorphisme
herbelin
2006-10-29
*
Extension du polymorphisme de sorte au cas des définitions dans Type.
herbelin
2006-10-28
*
Experimental merging of two functional graphs.
courtieu
2006-10-26
*
conflit de nom (Field_theory) modulo la casse
barras
2006-10-25
*
petits pbs de dependances
barras
2006-09-26
*
Compilation newring
notin
2006-09-26
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
Declarative Proof Language: main commit
corbinea
2006-09-20
*
added congruence improvement
corbinea
2006-09-19
*
Report de l'heuristique d'unification premier ordre flexible/rigide
herbelin
2006-09-15
*
+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no
jforest
2006-08-22
*
- Ajout d'un cast vm dans la syntaxe : x <: t
bgregoir
2006-07-22
*
functional inversion now takes a quatified hypothesis as first argument
jforest
2006-07-04
*
Fix wrong order of existentials in eterm.
msozeau
2006-06-23
*
MAJ Makefile depend
herbelin
2006-06-08
*
Dépendances pour List.v
notin
2006-05-18
*
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-05-03
*
MAJ
herbelin
2006-04-27
*
Made 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 de
herbelin
2006-03-22
*
Ajout de theories/FSets contenant la partie "light" de FSets et FMap:
letouzey
2006-03-15
*
r8623@thot: notin | 2006-03-08 12:40:57 +0100
notin
2006-03-08
*
r8620@thot: notin | 2006-03-08 11:44:16 +0100
notin
2006-03-08
*
maj
coq
2006-03-05
*
maj
coq
2006-03-02
*
maj
coq
2006-02-27
*
dp: sortie Why
filliatr
2006-02-27
*
maj
coq
2006-02-22
*
maj
coq
2006-02-21
*
maj
coq
2006-02-20
*
maj
coq
2006-02-17
*
maj
coq
2006-02-09
*
maj
coq
2006-02-08
*
Julien:
bertot
2006-02-08
*
maj
coq
2006-02-07
*
maj
coq
2006-02-04
*
maj
coq
2006-02-03
*
maj
coq
2006-02-01
*
New version of functional induction / inversion. By Julien Forest,
coq
2006-02-01
*
maj
coq
2006-01-31
*
maj
coq
2006-01-30
*
maj
coq
2006-01-28
[next]