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
*
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
*
install-fsets
filliatr
2003-06-13
*
FSets, mais pas compile' par make world
filliatr
2003-06-13
*
Module Bij inutilise
herbelin
2003-06-10
*
au lieu de make
monate
2003-06-02
*
moved engine.ml4 to ground.ml4, added option 'Ground Depth'
corbinea
2003-05-26
*
coqide: blaster 2
monate
2003-05-23
*
fabrication de ide/utf8.vo
letouzey
2003-05-23
*
coqide: blaster V1
monate
2003-05-22
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
Restructutation Hipattern Pattern
herbelin
2003-05-19
*
configure et make install s'occupent de CoqIde tout seuls
filliatr
2003-05-19
[next]