index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
L'installation ne copiait pas les .vo du traducteur
herbelin
2003-12-03
*
installation
herbelin
2003-11-29
*
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...
herbelin
2003-11-29
*
ground->firstorder, cc-> congruence, CC final commit
corbinea
2003-11-29
*
Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...
herbelin
2003-11-21
*
ajout de Znumtheory.v dans ZArith
letouzey
2003-11-19
*
tout clean-ide dans clean
herbelin
2003-11-18
*
Restructuration ZArith
herbelin
2003-11-12
*
petits changements de syntaxe
barras
2003-11-12
*
make moins verbeux, suite (et fin?)
letouzey
2003-11-09
*
Biblio standard sans mention de la possibilite d'etre impredicatif; Hurkens_s...
herbelin
2003-11-07
*
Ajout NArith et restructuration ZArith
herbelin
2003-11-05
*
pour que make clean efface ide/utf8_convert.ml venant d'un .mll
letouzey
2003-11-04
*
Ajout Diaconescu.v
herbelin
2003-11-02
*
Nouveaux fichiers dans Logic; prise en compte de l'option -strongly-classical...
herbelin
2003-10-28
*
Ajout NArithRing
herbelin
2003-10-22
*
Ground update + Linear removal
corbinea
2003-10-16
*
Pour eviter que newtheories/Lists/List.v soit refait quand PolyList.v est ref...
herbelin
2003-10-15
*
Death of 'a somewhat cryptic module'
herbelin
2003-10-11
*
Intégration de la premiere partie de 'hightactics' dans 'tactics' suite à c...
herbelin
2003-10-10
*
Renommage en v8 de PolyList en List et List en MonoList
herbelin
2003-10-10
*
Renommage no-strict en -strict-implicit
herbelin
2003-10-08
*
Renommage no-strict en -strict-implicit
herbelin
2003-10-08
*
Pour rendre make un peu moins verbeux
letouzey
2003-10-06
*
NEWCONTRIBVO doit apparaitre apres CONTRIBVO
herbelin
2003-10-06
*
Debranchement de la regle .v.vo pour que celle-ci ne soit pas prise quand new...
herbelin
2003-10-04
*
NEW*VO doit apparaitre apres *VO + divers
herbelin
2003-10-04
*
Bug cible newtheories/Init + divers
herbelin
2003-10-03
*
Nettoyage, simplification et compatibilite -j
herbelin
2003-10-03
*
oubli de deux flags -v7
letouzey
2003-10-03
*
pa_ifdef.cmo redondant
herbelin
2003-09-26
*
Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...
herbelin
2003-09-23
*
Passage à la V8 par défaut
herbelin
2003-09-22
*
Reprise de coqbinaries dans translation
herbelin
2003-09-15
*
Indirection pour coqlib8 pour que la cible newtheories/%.v soit choisie
herbelin
2003-09-13
*
Retour à des cibles plus explicites: world7 et world8, install7 et install8
herbelin
2003-09-12
*
Ajout install7 et coqwc dans tools
herbelin
2003-09-12
*
Ajout cible world7
herbelin
2003-09-12
*
Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...
herbelin
2003-09-12
*
Déplacement de Declare et Impargs à la fin de interp pour que Declare accè...
herbelin
2003-09-12
*
install coqwc
filliatr
2003-09-05
*
coqwc
filliatr
2003-09-05
*
Fusion -translate et -ftranslate
herbelin
2003-08-14
*
Option -v8 à coqtop lance coqtopnew
herbelin
2003-08-11
*
suppression de newtauto
corbinea
2003-07-02
*
suppression de FSets (redevient une contrib)
filliatr
2003-06-24
*
Ground major update ... mmm, sounds exciting !
corbinea
2003-06-15
*
dependcoq integre les fichiers de fsets
letouzey
2003-06-14
*
Ground update
corbinea
2003-06-13
*
Ground update, new files.
corbinea
2003-06-13
[next]