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
*
Ground update
corbinea
2003-06-20
*
Bug compilation
herbelin
2003-06-20
*
remov
filliatr
2003-06-20
*
merge
filliatr
2003-06-20
*
remove_min, remove_max
filliatr
2003-06-20
*
Ground Update.
corbinea
2003-06-20
*
maj
filliatr
2003-06-20
*
Ajout 'Symmetry in Hyp'
herbelin
2003-06-19
*
Ajout 'Symmetry in Hyp'
herbelin
2003-06-19
*
Ajout 'Symmetry in Hyp'; chgt syntaxe 'change ... with ...'
herbelin
2003-06-19
*
add
filliatr
2003-06-19
*
bal: preuve terminee
filliatr
2003-06-19
*
bal: premier cas hl > hr + 2
filliatr
2003-06-19
*
undo de "Time tactic"
filliatr
2003-06-19
*
typo
filliatr
2003-06-19
*
*** empty log message ***
monate
2003-06-18
*
AVL: suite
filliatr
2003-06-18
*
Arguments superflus pour Zlength_nil
herbelin
2003-06-18
*
Ajout option Local aux Hint
herbelin
2003-06-17
*
AVL: suite
filliatr
2003-06-17
*
AVL de caml: un debut
filliatr
2003-06-17
*
maj
filliatr
2003-06-17
*
Ground update
corbinea
2003-06-16
*
Ground depth
filliatr
2003-06-16
*
ground update
corbinea
2003-06-16
*
reparation fsets suite a changement de Ground
filliatr
2003-06-16
*
Ground major update ... mmm, sounds exciting !
corbinea
2003-06-15
*
ground update
corbinea
2003-06-14
*
dependcoq integre les fichiers de fsets
letouzey
2003-06-14
*
Major Ground update, may break semantics
corbinea
2003-06-14
*
Ajout option Local à Hint, Hints et HintDestruct
herbelin
2003-06-14
*
Deplacement de le_minus de fast_integer vers Minus
herbelin
2003-06-14
*
Deplacement de le_minus de fast_integer vers Minus
herbelin
2003-06-14
*
maj
filliatr
2003-06-14
*
changement de spécif du fold
letouzey
2003-06-13
*
Ground update
corbinea
2003-06-13
*
CoqIDE: undo plus efficace sur les inductifs
filliatr
2003-06-13
*
Ground update, new files.
corbinea
2003-06-13
*
coqide: indentation
monate
2003-06-13
*
Utilisation de intro_pattern dans NewDestruct/NewInduction
herbelin
2003-06-13
*
fcts tail-recursives
filliatr
2003-06-13
*
Require Export
filliatr
2003-06-13
*
install-fsets
filliatr
2003-06-13
*
FSets, mais pas compile' par make world
filliatr
2003-06-13
*
suite changements ZArith en vu de librairie FSet
letouzey
2003-06-13
*
quelques adaptations de Zarith en vu de la nouvelle librarie FSet
letouzey
2003-06-13
*
coqide: about now displays versions/Fix for alt-enter
monate
2003-06-13
*
Deplacement d'un lemme sur nat de ZArith vers Arith
herbelin
2003-06-13
*
CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat
filliatr
2003-06-13
*
Ground update.
corbinea
2003-06-13
[next]