index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
CHANGES
Commit message (
Expand
)
Author
Age
*
Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...
herbelin
2002-11-24
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Des critères plus fins d'analyse des implicites automatiques; meilleur affic...
herbelin
2002-10-28
*
Clarification changements autour de Remark/Fact/Local
herbelin
2002-10-23
*
MAJ
herbelin
2002-10-22
*
Ajout d'un suffixe "as [ names ]" pour nommer manuellement les
herbelin
2002-10-21
*
NewDestruct/NewInduction acceptent l'option "using"
herbelin
2002-10-21
*
MAJ
herbelin
2002-10-13
*
Intégration des modifs de la V7.3.1
herbelin
2002-10-03
*
Changements Omega
courant
2002-10-02
*
Modifs diverses
herbelin
2002-09-29
*
Intgration uniforme de coercions dans les dclarations (Variable and co) et re...
herbelin
2002-06-03
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
Oublis
herbelin
2002-05-22
*
Field + MapleMode
delahaye
2002-05-21
*
MAJ
herbelin
2002-05-16
*
MAJ
herbelin
2002-05-15
*
MAJ
herbelin
2002-05-15
*
mention -dump-glob
filliatr
2002-05-15
*
MAJ
herbelin
2002-05-14
*
Ajout de la modification des sortes d'elimination
mohring
2002-05-14
*
Pas de projection si le nom d'un champ est '_' dans un Record
herbelin
2002-05-13
*
MAJ
herbelin
2002-05-06
*
Intuition
courant
2002-04-12
*
*** empty log message ***
courant
2002-04-12
*
MAJ
herbelin
2002-04-10
*
changements récents dans l'extraction
letouzey
2002-03-15
*
modifs ZArith & Chinese
letouzey
2002-01-18
*
MAJ
herbelin
2002-01-15
*
Extension de Even
herbelin
2001-12-21
*
maj CHANGES extraction + bug extraction & _
letouzey
2001-12-21
*
MAJ
herbelin
2001-12-20
*
MAJ
herbelin
2001-12-19
*
Changements Reals
desmettr
2001-12-19
*
MAJ
herbelin
2001-12-19
*
MAJ
herbelin
2001-12-18
*
MAJ
herbelin
2001-12-13
*
MAJ
herbelin
2001-12-12
*
Maj
herbelin
2001-12-06
*
MAJ
herbelin
2001-11-22
*
MAJ
herbelin
2001-11-21
*
documentation de mes actions recentes sur les theories (PL)
letouzey
2001-11-21
*
MAJ
herbelin
2001-11-16
*
MAJ
herbelin
2001-10-16
*
MAJ
herbelin
2001-10-12
*
Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...
herbelin
2001-10-05
*
Ultime MAJ
herbelin
2001-09-26
*
*** empty log message ***
barras
2001-09-25
*
Qqes oublis
herbelin
2001-09-25
*
Ajout d'un résumé des modifications
herbelin
2001-09-25
[next]