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
*
Changement des named_context
gregoire
2005-12-02
*
amelioration de la generation des unsafeCoerce
letouzey
2005-12-01
*
changement parametres inductifs dans les theories
mohring
2005-11-30
*
evite certaines eta-expansions cavalieres
letouzey
2005-11-30
*
correctif pour que type t = M.t contienne bien son M.
letouzey
2005-11-29
*
maj
coq
2005-11-29
*
maj
coq
2005-11-28
*
maj
coq
2005-11-28
*
parametres inductifs
mohring
2005-11-28
*
maj
coq
2005-11-27
*
maj
coq
2005-11-26
*
Fonctionnalisation du cache 'compunit' pour réparer correctement le bug #103...
herbelin
2005-11-26
*
coqide send a ack to tell drgeocaml it is received
narboux
2005-11-26
*
maj
coq
2005-11-25
*
*** empty log message ***
barras
2005-11-25
*
*** empty log message ***
barras
2005-11-25
*
maj
coq
2005-11-24
*
maj
coq
2005-11-23
*
bug de coqide sous windows (bad file descriptor)
barras
2005-11-23
*
bug #909: Top n'est cree que si le contexte est vide
barras
2005-11-23
*
maj
coq
2005-11-22
*
maj
coq
2005-11-21
*
Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)
herbelin
2005-11-21
*
maj
coq
2005-11-20
*
maj
coq
2005-11-19
*
Correction de la correction du test sur le nombre de parametres d'une projection
herbelin
2005-11-19
*
maj
coq
2005-11-18
*
maj
coq
2005-11-18
*
petites corrections + contournement bug projections
barras
2005-11-18
*
*** empty log message ***
barras
2005-11-18
*
commited new ring
barras
2005-11-18
*
commited first version of new ring
barras
2005-11-18
*
Détection de la version de lablgtk (type GText.view)
herbelin
2005-11-18
*
Détection de la version de lablgtk (type GText.view)
herbelin
2005-11-18
*
maj
coq
2005-11-17
*
maj
coq
2005-11-17
*
implement support for drgeocaml
narboux
2005-11-17
*
merci les warnings de 3.09 ...
letouzey
2005-11-17
*
A la demande de Julien Forest
letouzey
2005-11-17
*
maj
coq
2005-11-16
*
maj
coq
2005-11-15
*
maj
coq
2005-11-14
*
avoids warnings about unused variables
bertot
2005-11-14
*
adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,
bertot
2005-11-14
*
maj
coq
2005-11-13
*
maj
coq
2005-11-12
*
maj
coq
2005-11-11
*
maj
coq
2005-11-10
*
windows install
narboux
2005-11-10
*
ajout de l'entree dans le menu
narboux
2005-11-10
[next]