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
*
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
*
An intuitionistic first-order theorem prover -- JProver.
huang
2002-03-22
*
Makefile
courant
2002-03-12
*
Big commit extraction:
letouzey
2002-03-04
*
Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce
ddr
2002-02-20
*
- Reforme de la gestion des args recursifs (via arbres reguliers)
barras
2002-02-14
*
substitution et pattern modulo let
barras
2002-02-11
*
changement generation de schema d'elimination, False_rec est primitif, Constr...
mohring
2002-01-31
*
MAJ
herbelin
2002-01-17
*
contrib/interface/dad.ml4 had no real need of streams, it should have been
bertot
2001-12-19
*
reparation du make depend et du .depend
letouzey
2001-12-19
*
MAJ
herbelin
2001-12-19
[next]