index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
Commit message (
Expand
)
Author
Age
*
correction nom
mayero
2001-04-24
*
Ajout de Rseries et Rtrigo_fun
mayero
2001-04-24
*
(Again) Little corrections for Library doc
coq
2001-04-24
*
Ajout Reals
mayero
2001-04-23
*
Ajouts Reals
mayero
2001-04-23
*
(One more) Minor layout adjustments for Library doc
coq
2001-04-23
*
Minor layout adjustments for Library doc
coq
2001-04-23
*
Ajout tactics Reals
mayero
2001-04-20
*
Library doc adjustments (until page 140)
coq
2001-04-20
*
typo
filliatr
2001-04-19
*
Ajout de fonctions proposees par Cuiht Alvarado
mohring
2001-04-19
*
BoolEq.v, une egalite generique a valeur dans bool
mohring
2001-04-19
*
remplace Zarith par ZArith
mohring
2001-04-19
*
remplace Zarith par ZArith
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
*** empty log message ***
mohring
2001-04-19
*
Remplacement Euclid_def Euclid_proof par Euclid
mohring
2001-04-19
*
Changement syntax pour Rinv
mayero
2001-04-19
*
Ajout de Field
delahaye
2001-04-19
*
Ajout de l'egalite de John Major
mohring
2001-04-12
*
coqweb
filliatr
2001-04-11
*
documentation automatique de la bibliothèque standard
filliatr
2001-04-11
*
Ajout lemmes arithmetiques
mohring
2001-04-08
*
ajout des lemmes Zimmerman
mohring
2001-04-08
*
Ajout de lemmes sur les booleens
mohring
2001-03-30
*
Introduction d'une preuve de False_rec
mohring
2001-03-30
*
Bibliotheque Num
mohring
2001-03-26
*
entetes
filliatr
2001-03-15
*
Renommage des variables dans les schémas d'induction
herbelin
2001-02-14
*
modif de la syntax: assoc a droite pour Ring
mayero
2001-02-08
*
simplification du make depend; fonctions de stat. util. memoire dans certains...
filliatr
2001-02-08
*
*** empty log message ***
mohring
2001-02-01
*
- coqc : option -image
filliatr
2001-02-01
*
Modif de l'axiomatisation pour enlever les /\ de _ne
mayero
2001-01-25
*
Ajout d'un parseur d'entiers sous forme de pattern
herbelin
2001-01-19
*
Essai d'axiomatisation des numeral
mohring
2001-01-15
*
Ajout de commentaire coqweb
mohring
2001-01-15
*
corr bug -
mayero
2001-01-11
*
Mise a jour Rbase
mohring
2001-01-11
*
Meta Definition -> Tactic Definition
delahaye
2001-01-09
*
Tactic Definition -> Meta Definition
delahaye
2001-01-09
*
Ajout du Let pour le langage de tactiques
delahaye
2000-12-29
*
*** empty log message ***
mayero
2000-12-22
*
Bug d'affichage à cause des << ... >>
herbelin
2000-12-21
*
Oublié de supprimer du code mort
herbelin
2000-12-20
*
Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind...
herbelin
2000-12-20
*
Renommages autour de NewInduction
herbelin
2000-12-18
*
pb niveau
mayero
2000-12-15
[next]