index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Support des modules dans Coqdoc
notin
2006-05-26
*
removing a warning
jforest
2006-05-26
*
Adaptation de Coqdoc au nouveau add_glob
notin
2006-05-24
*
Suite changement précédence by de assert
herbelin
2006-05-24
*
MAJ
herbelin
2006-05-23
*
MAJ proprÃiété svn:ignore sur test-suite
herbelin
2006-05-23
*
Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND
herbelin
2006-05-23
*
Restructuration dossier dev et mise à jour de certaines documentations
herbelin
2006-05-23
*
Retour version 8852 de constrintern.ml
herbelin
2006-05-23
*
Erreur commit constrintern.ml
herbelin
2006-05-23
*
Changement de précédence de l'argument du by de assert; conséquences...
herbelin
2006-05-23
*
Modification de add_glob (support des modules dans Coqdoc)
notin
2006-05-23
*
Error during last commit (coq didn't compile)
jforest
2006-05-23
*
Ajout substl_named_decl pour mode Maple
herbelin
2006-05-23
*
Correcting a bug with ocaml <= 3.08.3 (Map.fold changing)
jforest
2006-05-23
*
Clarification role de library_part : renommage en remove_section_part
herbelin
2006-05-23
*
cleanning code
jforest
2006-05-23
*
PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifier
herbelin
2006-05-23
*
Nouvelle implantation du polymorphisme de sorte pour les familles inductives
herbelin
2006-05-23
*
un debut de propriétés concernant FMap
letouzey
2006-05-22
*
suite des marquages de types et opacifications de lemmes dans les wrappers Make
letouzey
2006-05-22
*
Correcting a bug in identifiers manipulation
jforest
2006-05-22
*
LetTuple are now supported in Function
jforest
2006-05-22
*
Modification de l'appel à coqdoc (COQBIN)
notin
2006-05-22
*
encore un exemple ne marchant pas, ni avec omega ni avec romega
letouzey
2006-05-22
*
MAJ suite placement automatiquement de Rlist au niveau prédicatif le plus ba...
herbelin
2006-05-22
*
MAJ suite placement automatiquement de Rlist au niveau prédicatif le plus ba...
herbelin
2006-05-22
*
auto with zarith genere des sous-lemmes silencieusement,
letouzey
2006-05-20
*
"subst." works now even when it exists an hypothesis have the form "x=x" in t...
jforest
2006-05-20
*
suite tentative pour permettre l'utilisation de modules de FSets
letouzey
2006-05-20
*
on cache autant que possible Raw dans FSet(Weak)List.Make
letouzey
2006-05-19
*
tests de Romega
letouzey
2006-05-19
*
Ajout de pr_sort, extern_sort, detype_sort et renommage pr_sort en pr_rawsort
herbelin
2006-05-19
*
ajout de mes modifs recentes
letouzey
2006-05-18
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8829 85f007b7-540e-04...
letouzey
2006-05-18
*
Dépendances pour List.v
notin
2006-05-18
*
Correcting a bug in matching context on if.
jforest
2006-05-17
*
Typo dans List.v
notin
2006-05-17
*
updating Function documentation
jforest
2006-05-17
*
Ajout de [count_occ] dans List.v
notin
2006-05-17
*
etoffage des notions de permutations (a la fois List.Permutation et Permutati...
letouzey
2006-05-16
*
Typo dans CREDITS
notin
2006-05-16
*
ajout de theories/FSets/DecidableTypeEx.v
letouzey
2006-05-15
*
3*rien
letouzey
2006-05-15
*
ajout d'exemples de decidable types
letouzey
2006-05-15
*
petit ajout concernant InA
letouzey
2006-05-15
*
On remet plutot l'ancien nom Zgcd_is_pos au lieu de Zgcd_pos
letouzey
2006-05-14
*
In_dec de nouveau transparent
letouzey
2006-05-14
*
reparartion d'un petit oubli cassant PrecedenceGraph
letouzey
2006-05-14
*
typo
letouzey
2006-05-13
[prev]
[next]