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
...
*
suppression de l'affichage des noeuds Change_evars
barras
2001-12-11
*
*** empty log message ***
courant
2001-12-11
*
ajout du document sur la nouvelle syntaxe
barras
2001-12-11
*
document sur les propositions de nouvelle syntaxe
barras
2001-12-11
*
Mise en place de coercion dans les motifs
herbelin
2001-12-11
*
Test des coercions dans les motifs
herbelin
2001-12-11
*
- condition de garde (suite)
barras
2001-12-10
*
correction de bugs concernant la gestion des modules. debranchement du test d...
letouzey
2001-12-10
*
mise a jour
filliatr
2001-12-10
*
*** empty log message ***
desmettr
2001-12-07
*
*** empty log message ***
desmettr
2001-12-07
*
Maj
herbelin
2001-12-06
*
Parade contre effet indésirable du commit précédent
herbelin
2001-12-06
*
Affichage des '_' pour Intros
herbelin
2001-12-06
*
Amélioration nommage hypothèses NewInduction (et incompatibilités)
herbelin
2001-12-06
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...
herbelin
2001-12-05
*
Traitement t de -1<>0
delahaye
2001-12-04
*
bug fix de la condition de garde
barras
2001-12-04
*
Backtrack sur le commit du 30.11.2001
delahaye
2001-12-04
*
*** empty log message ***
desmettr
2001-12-03
*
desobfuscation du code de la verif de la condition de garde
barras
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
Ajout du fichier
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
Modification de Reals pour integrer les modifications
desmettr
2001-11-30
*
Ajout du fichier concernant le carre et la racine carree
desmettr
2001-11-30
*
Integration de nouveaux lemmes
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
Intégration de nouveaux lemmes.
desmettr
2001-11-30
*
Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec
clrenard
2001-11-30
*
Mise a jour des dependances
clrenard
2001-11-29
*
mise a jour
filliatr
2001-11-29
*
reparation de Locate
barras
2001-11-29
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
mise a jour
filliatr
2001-11-27
*
Retablissement de la commande Existential que j'avais supprime par erreur.
clrenard
2001-11-23
*
MAJ
herbelin
2001-11-22
*
La mise en forme normale du prédicat d'élimination était un peu trop viole...
herbelin
2001-11-22
*
Amélioration message Cases
herbelin
2001-11-21
[prev]
[next]