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
*
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
*
maj
coq
2006-01-24
*
maj
coq
2006-01-21
*
maj
coq
2006-01-16
*
dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmo
letouzey
2006-01-16
*
maj
coq
2006-01-12
*
maj
coq
2006-01-11
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
maj
coq
2006-01-08
*
maj
coq
2006-01-07
[next]