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
...
*
Prise en compte des coercions dans les 'with' bindings
herbelin
2002-12-20
*
MAJ
herbelin
2002-12-15
*
*** empty log message ***
gregoire
2002-12-12
*
Ajout Simpl et Change sur des sous-termes
herbelin
2002-12-09
*
Amélioration sensible de l'efficacité de Zmult et times
herbelin
2002-12-06
*
MAJ
herbelin
2002-12-03
*
Ajout des options "Set Contextual Implicits" et "Set Strict Implicits
herbelin
2002-12-02
*
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
[prev]
[next]