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
*
MAJ
herbelin
2003-02-27
*
Chargement dynamique de .cma
delahaye
2003-02-13
*
Bug Rename
herbelin
2003-02-08
*
MAJ
herbelin
2003-02-06
*
MAJ
herbelin
2003-02-04
*
release 7.4; changement magic number
filliatr
2003-02-03
*
maj status de l'extraction des modules
letouzey
2003-02-03
*
MAJ
herbelin
2003-01-31
*
MAJ
herbelin
2003-01-31
*
MAJ
herbelin
2003-01-31
*
*** empty log message ***
courant
2003-01-31
*
status de l'extraction
letouzey
2003-01-23
*
Changements dans REALS
desmettr
2003-01-22
*
MAJ
herbelin
2003-01-20
*
MAJ Ltac
herbelin
2003-01-19
*
V7.4
mohring
2003-01-17
*
Mise a jour pour distrib
mohring
2003-01-17
*
*** empty log message ***
mohring
2003-01-17
*
Bug en présence de let-in
herbelin
2003-01-15
*
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
[next]