index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend
Commit message (
Expand
)
Author
Age
*
Réorganisation de la librairie des réels
desmettr
2002-11-27
*
maj
filliatr
2002-11-27
*
Option pour compiler une version 'light' des réels
desmettr
2002-11-26
*
MAJ
herbelin
2002-11-26
*
maj
filliatr
2002-11-26
*
maj
filliatr
2002-11-25
*
Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...
herbelin
2002-11-24
*
maj
filliatr
2002-11-18
*
maj
filliatr
2002-11-16
*
maj apres reparation d'un bug coqdep
letouzey
2002-11-15
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
maj
filliatr
2002-11-14
*
maj
filliatr
2002-11-08
*
maj
filliatr
2002-11-06
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
maj
filliatr
2002-11-01
*
maj
filliatr
2002-10-31
*
maj
filliatr
2002-10-29
*
maj
filliatr
2002-10-28
*
maj
filliatr
2002-10-22
*
maj
filliatr
2002-10-16
*
commit du calcul des dependances un peu plus robuste
barras
2002-10-15
*
maj
filliatr
2002-10-15
*
maj
filliatr
2002-10-14
*
Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...
herbelin
2002-10-13
*
maj
filliatr
2002-10-11
*
maj
filliatr
2002-10-09
*
maj
filliatr
2002-10-07
*
Adding the congruence closure tactics (CC and CCsolve).
corbinea
2002-10-01
*
maj
filliatr
2002-10-01
*
maj
filliatr
2002-09-30
*
maj
filliatr
2002-09-21
*
La notation with dependante + affichage dependante de moduels corrige
coq
2002-09-20
*
maj
filliatr
2002-09-20
*
maj
filliatr
2002-09-20
*
maj
filliatr
2002-09-20
*
La notation 'with'. L'interpretation - version preliminaire
coq
2002-08-19
*
MAJ .depend
coq
2002-08-19
*
Pretty-printing preliminaire des modules, commandes
coq
2002-08-19
*
Strengthenning rules for modules + No modules in sections
coq
2002-08-16
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
correction bugs Tauto
courant
2002-07-19
*
Correction bug Tauto : la regle pour (A->B)->C echouait quand C etait
courant
2002-07-15
*
maj
filliatr
2002-06-20
*
extraction vers scheme
letouzey
2002-06-07
*
affaiblissement hyp de Zmult_reg_left
filliatr
2002-06-05
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
jLogic disparaît
herbelin
2002-04-19
*
*** empty log message ***
courant
2002-04-17
*
backtrack dans l'algo d'unification
barras
2002-04-10
[next]