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
*
Protection du nom Eval pour eviter conflit avec Eval in
herbelin
2003-12-15
*
maj
filliatr
2003-12-15
*
MAJ
herbelin
2003-12-13
*
Correction bug soumis par Yves
herbelin
2003-12-13
*
MAJ
herbelin
2003-12-13
*
maj
filliatr
2003-12-13
*
Ajout exemple Yves
herbelin
2003-12-12
*
option -n de coq-tex
marche
2003-12-12
*
plus de syntaxe v8
marche
2003-12-12
*
maj
filliatr
2003-12-12
*
Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...
herbelin
2003-12-11
*
maj
filliatr
2003-12-11
*
maj
filliatr
2003-12-10
*
maj
filliatr
2003-12-10
*
cc update
corbinea
2003-12-09
*
commandes de coqide
marche
2003-12-09
*
maj
filliatr
2003-12-09
*
maj
filliatr
2003-12-09
*
correction bug: parentheses ne cassent plus les implicites
barras
2003-12-08
*
preferences
marche
2003-12-08
*
bug de preferencs/font"
marche
2003-12-08
*
pas de Goal pendant une preuve
filliatr
2003-12-08
*
maj
filliatr
2003-12-08
*
maj
filliatr
2003-12-06
*
power associe a droite
marche
2003-12-05
*
Pour eviter d'avoir un gros type dans Set
herbelin
2003-12-05
*
maj
filliatr
2003-12-05
*
Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...
herbelin
2003-12-04
*
Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...
herbelin
2003-12-04
*
MAJ 'abstract'
herbelin
2003-12-04
*
Symetrisation parsing/printing 'abstract'
herbelin
2003-12-04
*
changement menu et toolbar
marche
2003-12-04
*
L'installation ne copiait pas les .vo du traducteur
herbelin
2003-12-03
*
Rle_monotony_contra devenu Rmult_le_reg_l avant traduction
herbelin
2003-12-03
*
Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...
herbelin
2003-12-03
*
maj
filliatr
2003-12-03
*
maj
filliatr
2003-12-03
*
maj
filliatr
2003-12-02
*
maj
filliatr
2003-12-02
*
error messages adjustement
corbinea
2003-12-02
*
maj
filliatr
2003-12-02
*
*** empty log message ***
clrenard
2003-12-01
*
numeros version
marche
2003-12-01
*
contrib jcf
marche
2003-12-01
*
Nouvelle tactique EExists
clrenard
2003-12-01
*
Amélioration du message d'erreur "w_unify"
clrenard
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments (3eme)
herbelin
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments (2eme)
herbelin
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments
herbelin
2003-12-01
*
Ratage standardisation Rge_monotony en Rmult_ge_compat_r
herbelin
2003-12-01
[next]