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-10-28
*
MAJ
herbelin
2003-10-13
*
MAJ
herbelin
2003-10-10
*
MAJ
herbelin
2003-10-08
*
MAJ
herbelin
2003-09-26
*
Ajout option Local à Hint, Hints et HintDestruct
herbelin
2003-06-14
*
Utilisation de intro_pattern dans NewDestruct/NewInduction
herbelin
2003-06-13
*
MAJ
herbelin
2003-06-10
*
Ajout FreshId
herbelin
2003-05-24
*
MAJ
herbelin
2003-05-21
*
ajout d'une elimination simplifiée Acc_iter pour Acc
letouzey
2003-04-28
*
MAJ
herbelin
2003-04-17
*
MAJ
herbelin
2003-04-09
*
MAJ
herbelin
2003-03-31
*
eq fusionne avec eqT et devient par défaut sur Type,
herbelin
2003-03-29
*
Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)
herbelin
2003-03-29
*
Ajout de Set Print Width
gregoire
2003-03-26
*
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
[next]