index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
Commit message (
Expand
)
Author
Age
*
Oubli d'hypotheses pour faire fonctionner les exemples
herbelin
2001-05-12
*
Oubli d'hypotheses pour faire fonctionner les exemples
herbelin
2001-05-12
*
MAJ
herbelin
2001-04-25
*
test Fourier, DiscrR
mayero
2001-04-20
*
Mise a la norme lexicale
mohring
2001-04-20
*
Decomposition de Cases
mohring
2001-04-20
*
Erreurs de Cases
mohring
2001-04-20
*
*** empty log message ***
mohring
2001-04-20
*
Ajout d'erreurs sur le Case avec branche redondante
mohring
2001-04-20
*
Tests pour Field avec les nombres reels
delahaye
2001-04-20
*
Ajout de la ligne d'etat pour CVS
delahaye
2001-04-20
*
ajout de tests
mohring
2001-04-13
*
Bug rapporte par Randy en Mars 2000
herbelin
2001-04-11
*
entetes
filliatr
2001-03-15
*
*** empty log message ***
herbelin
2001-03-14
*
Ajout syntaxe zarith
herbelin
2001-03-14
*
Ajout d'un test sur EAuto
mohring
2001-02-27
*
Test syntaxe avec motifs numériques
herbelin
2001-02-14
*
EqDecide
filliatr
2001-02-06
*
Ajout d'un exemple
delahaye
2001-02-06
*
D'autres exemples
delahaye
2001-02-05
*
Pas d'Apply dans Tauto
delahaye
2001-02-05
*
Ajout du test de Tauto
delahaye
2001-02-05
*
Tests pour
herbelin
2001-01-21
*
test univers, inductifs et sections
filliatr
2000-12-15
*
Fichier de test pour les Cases
herbelin
2000-12-14
*
Ajout de tests
mohring
2000-12-12
*
tests automatiques
herbelin
2000-12-09
*
tests Refine
filliatr
2000-07-20
*
renommage (nom de module invalide)
filliatr
1999-12-12
*
fichiers de bench
filliatr
1999-12-05
*
fichier de test d'inductifs pour minicoq
filliatr
1999-09-08